Operational techniques in PVS — A preliminary evaluation (0)

by Jonathan M Ford, Ian A Mason
Venue:Electronic Notes in Theoretical Computer Science