A Proof Assistant for Symbolic Model-Checking (1992)

by J Bradfield
Venue:Lecture Notes in Computer Science