Verification: Theory and practice. Essays dedicated to Zohar Manna on the occasion of his 64th birthday.

DOI10.1007/b12001zbMath1045.68009OpenAlexW2483649756MaRDI QIDQ1880603

No author found.

Publication date: 30 September 2004

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b12001

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Modular verification of multithreaded programs ⋮ Inferring functional properties of matrix manipulating programs by abstract interpretation

This page was built for publication: Verification: Theory and practice. Essays dedicated to Zohar Manna on the occasion of his 64th birthday.