Cover von Computer Aided Verification opens in new tab

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18 - 24, 2015, Proceedings
2015
Berlin, Springer
Series: Lecture notes in computer science; 9206/9207
Media group: GESAMTWERK
Volumes

Content

International Conference on Computer Aided Verification <27, 2015, San Francisco>

Details

Search for this author
Year: 2015
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
Description: 2 Vols.
Series: Lecture notes in computer science; 9206/9207
Participating parties: Search for this character Kröning, Daniel; Pasareanu, Corina S.
Media group: GESAMTWERK