Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)
by
ISBN 13: 9783540489283
Format: Paperback (203 pages) Publisher: Springer Published: 03 Nov 2006
Save for later