-
Bib ID# 17553
ISBN: 9783540374114
UPC: 10.1007/11817963
Title: Computer Aided Verification18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
Author: Ball, Thomas.
Publication Info:
Item Type: Language material