Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, ... Computer Science and General Issues)
by
ISBN 13: 9783540781622
Format: Paperback (325 pages) Publisher: Springer Published: 26 Feb 2008
Save for later