PLPV'07
Subtitle: proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007
By: sponsored by ACM SIGPLAN ; co-located with ICFP'07.
Publisher: Association for Computing Machinery
Published: 2007
Place of publication: New York, N.Y
Language: eng
Number of pages: 69
ISBN-13: 9781595936776
Subjects: Computer programs -- Verification -- Congresses; Programming languages (Electronic computers) -- Congresses
Genres: Congresses
Notes: Includes bibliographical references and index.