Location & Availability for: Verified software : theories, tools, and

 Staff view

You must be logged in to Tag Records

Verified software : theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised selected papers /

edited by Arie Gurfinkel, Sanjit A. Seshia (eds.).

Book Cover
Names: Gurfinkel, Arie, | Seshia, Sanjit A.,
Published: Cham : Springer, 2016.
Series: Lecture notes in computer science ; 9593.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Computer software - Verification - Congresses. | Computer software - Quality control - Congresses. | Compilers (Computer programs) - Congresses.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Verified software : theories, tools, and