Verification
theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Dershowitz, Nachum
ed.
Manna, Zohar
text
gw
Berlin
Springer-Verlag
2004
monographic
eng
782 p.
Nachum Dershowitz, ed.
Computer software
Verification
QA76.76 V47 V48
Lecture notes in computer science ; no. 2772
3540210024
040420
20260819090112.0