![](/img/cover-not-exists.png)
[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
Chalin, PatriceYear:
2009
Language:
english
DOI:
10.1109/sefm.2009.37
File:
PDF, 445 KB
english, 2009