SAW: the spatial assertion workbench
Cristiano Calcagno‚ Josh Berdine‚ Hongseok Yang and Peter W. O'Hearn
Address
Birmingham
Book Title
Proceedings of the 2nd Workshop on Automated Verification of Critical Systems
Month
April
Year
2002
Cristiano Calcagno‚ Josh Berdine‚ Hongseok Yang and Peter W. O'Hearn