Title: Automated technology for verification and analysis
First published: 2008
LC classification: QA76.9.A96 A82 2008