A Tool to Support Formal Reasoning about Computer Languages (1997)

Cached

Download Links

by Richard J. Boulton
Venue:Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), volume 1217 of Lecture Notes in Computer Science
Citations:4 - 0 self