Automated Technology for Verification and AnalysisKedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura · First published 2007Open the Tome
