Title: Automated technology for verification and analysis
First published: 2007
Subjects: Automatic theorem proving, Congresses
LC classification: QA76.9.A96 A82 2006