Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... / Programming and Software Engineering)
by
ISBN 13: 9783540709510
Format: Paperback (363 pages) Publisher: Springer Published: 20 Feb 2007
Save for later