CAV'98
- International Conference on Computer-Aided Verification. University of British Columbia, Vancouver, BC, Canada; 28 June -- 2 July 1998.
- http://www.cs.ubc.ca/spider/ajh/cav98.html