Treffer: Specification matching of object-oriented components
Title:
Specification matching of object-oriented components
Source:
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. Software engineering and formal methods Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on. :182-190 2003
Relation:
1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03
Database:
IEEE Xplore Digital Library