Cntrol and Data Abstraction: The Cornerstones of Practical Formal Verification. (2000)

by Y Kesten, A Pnueli
Venue:International Journal on Software Tools for Technology Transfer