Time For Verification Essays In Memory Of Amir Pnueli
Time For Verification Essays In Memory Of Amir Pnueli
Doron A. Peled
Details
OL Work ID
OL17380128W
Subjects
Logic design
Computer science
Verification
Computer software
Find this book
Open Library