Scalable Techniques for Formal Verification

More Information

Format: Paperback
Pages: 260
Edition: 2010
Publisher: Springer
Published: 19 Oct 2014
ISBN 10: 1489984445
ISBN 13: 9781489984449