Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings /

Bibliographic Details
Main Authors:	Namjoshi, Kedar S., Yoneda, Tomohiro, Higashino, Teruo
Format:
Language:	eng
Published:	Heidelberg, New York : Springer, 2007
Subjects:	Automatic theorem proving
Online Access:	http://dx.doi.org/10.1007/978-3-540-75596-8

Internet