Treffer: Integrating Object-Oriented Design and Deductive Verification of Software
Title:
Integrating Object-Oriented Design and Deductive Verification of Software
Authors:
Source:
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) Software Engineering and Formal Methods, 2006. SEFM 2006. Fourth IEEE International Conference on. :60-60 2006
Relation:
Fourth IEEE International Conference on Software Engineering and Formal Methods
Database:
IEEE Xplore Digital Library