Aarhus University Seal / Aarhus Universitets segl

Verifying event-driven programs using ramified frame properties

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publication{Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010
EditorsA. Kennedy, N. Benton
PublisherAssociation for Computing Machinery
Publication year2010
Pages63-76
DOIs
Publication statusPublished - 2010
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743542