Models of program logics (1979)

by V R Pratt
Venue:In Proceedings of the 20th IEEE Symposium on the Foundations of Computer Science