A Proof Technique for Rely/Guarantee Properties (1986)

by Eugene W. Stark
Venue:In Proceedings of the 5th Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science 206
Citations:53 - 0 self