Cover von Verified Software opens in new tab

Verified Software

Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13 - 14, 2019, Revised Selected Papers
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12031
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conferene on Verified Software <11, 2019, New York City>

Details

Search for this author
Year: 2020
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-030-41599-0
ISBN (2nd): 3-030-41599-6
Description: 192 S.
Series: Lecture notes in computer science; 12031
Participating parties: Search for this character Chakraborty, Supratik; Navas, Jorge A.
Media group: MONOGRAPHIE