User's guide and reference manual. VERIMAG (1993)

by Pnu77 A Pnueli
Venue:In Proc. of the 19th Annual Symposium on Foundations of Computer Science, FOCS'77