TY  - JOUR
A1  - Bormer, Thorsten
A1  - Brockschmidt, Marc
A1  - Distefano, Dino
A1  - Ernst, Gidon
A1  - Filliâtre, Jean-Christophe
A1  - Grigore, Radu
A1  - Huisman, Marieke
A1  - Klebanov, Vladimir
A1  - Marché, Claude
A1  - Monahan, Rosemary
A1  - Mostowski, Wojciech
A1  - Polikarpova, Nadia
A1  - Scheben, Christoph
A1  - Schellhorn, Gerhard
A1  - Tofan, Bogdan
A1  - Tschannen, Julian
A1  - Ulbrich, Mattias
T1  - The COST IC0701 verification competition 2011
T2  - Lecture Notes in Computer Science
Y1  - 2012
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64065
SN  - 9783642317613
SN  - 9783642317620
SN  - 0302-9743
SN  - 1611-3349
VL  - 7421
SP  - 3
EP  - 21
PB  - Springer
CY  - Berlin
ER  -