![](/img/cover-not-exists.png)
[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes
Balakrishnan, Gogul, Ganai, MalayYear:
2008
Language:
english
DOI:
10.1109/sefm.2008.35
File:
PDF, 392 KB
english, 2008