Number of the records: 1

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I

SYS		0436568
LBL		00240nx^^^22001213^^450
005		20210804104118.7
010		$a 978-3-662-45233-2
011		$a 0302-9743
100		$a 20141201aczey0103 ba
102		$a DE
110		$a a
200	1-	$a Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I
210		$a Berlin $c Springer $d 2014
225		$a Lecture Notes in Computer Science $v 8802
702	-1	$a Margaria $b T. $4 340
702	-1	$a Steffen $b B. $4 340
801		$a CZ $b CAV $c 20141201

Number of the records: 1