An examination of adequacy conditions for confirmation
An examination of adequacy conditions for confirmation
Marsha P. Hanen
Details
OL Work ID
OL42284084W
Subjects
Verification (Logic)
Find this book
Goodreads
Open Library