Behavioral contracts and behavioral subtyping (2001)

by Robert Bruce Findler
Venue:In Proceedings of ACM Conference Foundations of Software Engineering
Citations:29 - 2 self