Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Systems and Software Engineering: State-of-the-art > Proving Correctness of Executable Programs

Computer Systems and Software Engineering: State-of-the-art |
Springer US
Computer Systems and Software Engineering: State-of-the-art

Proving Correctness of Executable Programs
Authors

ARI Id

1664927750630_4105020

Access

Not Available Free

Pages

325-353

DOI

10.1007/978-1-4615-3506-5_12

Chapter URL

https://rd.springer.com/chapter/10.1007/978-1-4615-3506-5_12

Loading...
Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...

Similar News

Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...