![](/img/cover-not-exists.png)
[ACM Press the 2002 ACM symposium - Madrid, Spain (2002.03.11-2002.03.14)] Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 - Verification caching
Abu-Ghazaleh, Nael B., Phatak, Dhananjay S.Year:
2002
Language:
english
DOI:
10.1145/508791.508978
File:
PDF, 433 KB
english, 2002