Basic Laws of Object Modeling

Publication
3rd Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), 12th ACM Foundations of Software Engeneering (FSE 2004)
comments powered by Disqus