Modularization and abstraction: The keys to practical formal veri (1998)

by Y Kesten, A Pnueli
Venue:In Proceedings of the 23th International Sumposium on Mathematical Foundations of Computer Science