Title: PLPV'07
First published: 2007
Subjects: Computer programs, Congresses, Verification, Programming languages (Electronic computers)
LC classification: QA76.76.V47 .P57 2007