Treffer: Logical foundations of program assertions: what do practitioners want?
Title:
Logical foundations of program assertions: what do practitioners want?
Authors:
Source:
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) Software Engineering and Formal Methods Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on. :383-392 2005
Relation:
Third IEEE International Conference on Software Engineering and Formal Methods
Database:
IEEE Xplore Digital Library