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

by David M Goldschlag
Venue:IEEE Transactions on Software Engineering SE-16