Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover (1990)

by D M Goldschlag
Venue:IEEE Transactions on Software Engineering