PLPV'07 : proceedings of the 2007 Workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 : co-located with, ICFP'07

Author(s)

• Workshop on Programming Languages meets Program Verification
• ACM SIGPLAN International Conference on Functional Programming
• ACM Special Interest Group in Programming Languages

Bibliographic Information

PLPV'07 : proceedings of the 2007 Workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 : co-located with, ICFP'07

sponsored by ACM SIGPLAN

Association for Computing Machinery, c2007

Other Title

PLPV 2007

Note

Includes bibliographical references and index

ACM order number: 565076

Details

• NCID: BA84020332
• ISBN:
  • 9781595936776
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: vi, 69 p.
• Size: 28 cm