Computer Aided Verification 20th International Conference Cav 2008 Princeton Nj Usa July 714 2008 Proceedings
Publisher: Springer
Published: 2008
Number of pages: 558
ISBN-13: 9783540705437