DMCA

Encoding Object-Z in Isabelle/HOL (2002)

by Graeme Smith , Florian Kammüller , Thomas Santen
Venue:International Conference of Z and B Users (ZB 2002), volume 2272 of LNCS
Citations:13 - 4 self