Computer Aided Verification
Computer Aided Verification
Alexandra Silva
,
K. Rustan M. Leino
Details
OL Work ID
OL25336882W
Find this book
Goodreads
Open Library