Stateless Model Checking of Event-Driven Applications

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

DOI

Original languageEnglish
Title of host publicationOOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Number of pages17
PublisherAssociation for Computing Machinery
Publication year2015
Pages57-73
ISBN (print)978-1-4503-3689-5
DOIs
Publication statusPublished - 2015
EventACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications - , United States
Duration: 21 Oct 2015 → …

Conference

ConferenceACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
LandUnited States
Periode21/10/2015 → …
SeriesACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications

See relations at Aarhus University Citationformats

ID: 97704797