Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540737698
Format: Paperback (217 pages) Publisher: Springer Published: 09 Aug 2007
Save for later