Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday : Festschrift for Dave Schmidt, Manhattan, Kansas, USA, 19-20th September 2013

Research output: Book/anthology/dissertation/reportAnthologyResearch

  • Anindya Banerjee
  • ,
  • Olivier Danvy (Editor)
  • Kyung-Goo Doh
  • ,
  • John Hatcliff
Original languageEnglish
Publisherhttp://published.eptcs.org/
Number of pages419
DOIs
Publication statusPublished - 2013
SeriesElectronic Proceedings in Theoretical Computer Science
Volume129
ISSN2075-2180

See relations at Aarhus University Citationformats

ID: 68517652