Encoding W: A logic for Z in 2OBJ (1993)

by A Martin
Venue:In Woodcock JCP, Larsen PG (eds), FME'93: Industrial-Strength Formal Methods, vol 670 of Lecture Notes in Computer Science