1
by Manna, Zohar, Pnueli, Amir
Published 1992
Springer New York
Subjects: '; ...Computer logic...

2
by Bradley, Aaron R., Manna, Zohar
Published 2007
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...