Software Verification
Software Verification
Maria Christakis
,
Peter Schrammel
,
Nadia Polikarpova
,
Parasara Sridhar Duggirala
Details
OL Work ID
OL26759026W
Find this book
Open Library