*Result*: Inheritance and Modularity in Specification and Verification of OO Programs
Title:
Inheritance and Modularity in Specification and Verification of OO Programs
Authors:
Source:
2011 Fifth International Conference on Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering (TASE), 2011 Fifth International Symposium on. :19-26 Aug, 2011
Relation:
2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE)
Database:
IEEE Xplore Digital Library