![](/img/cover-not-exists.png)
[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - A software framework for automated verification
Raedts, Ivo, Petković, Marija, Serebrenik, Alexander, van der Werf, Jan Martijn, Somers, Lou, Boote, MaartenYear:
2007
Language:
english
DOI:
10.1145/1244002.1244225
File:
PDF, 121 KB
english, 2007