The Mobility Workbench a tool for the -calculus (1994)

by B Victor, F Moller
Venue:Proceedings of CAV'94, volume 818 of Lecture Notes in Computer Science