Verified Software: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (2014) (Lecture Notes in Computer Science #8164)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.
- Copyright:
- 2014
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783642541087
- Related ISBNs:
- 9783642541070
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 10/02/19
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Ernie Cohen
- Edited by:
- Andrey Rybalchenko
Reviews
Other Books
- by Ernie Cohen
- by Andrey Rybalchenko
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy