Computer Aided Verification 22nd International Conference Cav 2010 Edinburgh Uk July 1519 2010 Proceedings
Publisher: Springer
Published: 2010
ISBN-13: 9783642142949