Cover von Verified Software: Theories, Tools and Experiments opens in new tab

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8471
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 8471 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Conference on Verified Software <6, 2014, Vienna>

Details

Search for this author
Year: 2014
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-319-12153-6
ISBN (2nd): 3-319-12153-7
Description: 86 S.
Series: Lecture notes in computer science; 8471
Participating parties: Search for this character Giannakopoulou, Dimitra; Kroening, Daniel
Media group: MONOGRAPHIE