HOL-Z 2.0: A proof environment for Z-specifications (2002)

by Achim D. Brucker , Frank Rittinger , Burkhart Wolff
Venue:JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Citations:9 - 5 self