A tool to support formal reasoning about computer languages (1997)

by R J Boulton
Venue:In Tools and Algorithms for the Construction and Analysis of Systems, Third International Workshop, TACAS ’97, Proceedings, Brinksma, E. (ed), Lecture Notes in Computer Science