![](/img/cover-not-exists.png)
[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Use of correctness assertions in declarative diagnosis
Lu, LunjinYear:
2005
Language:
english
DOI:
10.1145/1066677.1066995
File:
PDF, 206 KB
english, 2005