Title: Verified software
Subtitle: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings
First published: 2008
Subjects: Congresses, Verification, Computer programs, Computer software, verification
LC classification: QA76.76.V47 V59 2008