Time for Verification, Essays in Memory of Amir Pnueli

Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Conference: BIRTHDAY2010

Abstract

Abstract is missing.

Table of Contents