1 “...VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16...”

2 “... Department of the University of Calgary. The workshop gathered together researchers interested in applying...”