The application of program-proving techniques to the verification of synchronization processes (1972)

by K N Levitt
Venue:in 1972 Fall Joint Comput. Conf, AFIPS Conf. Proc