Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers / edited by Andrei Paskevich, Thomas Wies.
VSTTE (Conference) (9th : 2017 : Heidelberg, Germany); Paskevich, Andrei, editor.; Wies, Thomas, editor.
2017
QA76.76.V47
Available Online

Linked e-resources

Linked Resource
Online Access

Details

Title
Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers / edited by Andrei Paskevich, Thomas Wies.
Meeting Name
VSTTE (Conference) (9th : 2017 : Heidelberg, Germany)
ISBN
9783319723082 (electronic book)
3319723081 (electronic book)
9783319723075
DOI
https://doi.org/10.1007/978-3-319-72308-2
Published
Cham, Switzerland : Springer, 2017.
Language
English
Description
1 online resource (xiii, 211 pages) : illustrations.
Item Number
10.1007/978-3-319-72308-2 doi
Call Number
QA76.76.V47
Dewey Decimal Classification
005.1/4
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed December 26, 2017).
Added Author
Paskevich, Andrei, editor.
Wies, Thomas, editor.
Series
Lecture notes in computer science ; 10712. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
All Resources

Browse Subjects

Show more subjects...

Statistics

from
to
Export