Research output per year
Research output per year
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Original language | English |
---|---|
Title of host publication | SPIN 2017 |
Subtitle of host publication | Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software |
Publisher | Association for Computing Machinery |
Pages | 50-59 |
Number of pages | 10 |
ISBN (Print) | 978-1-4503-5077-8 |
DOIs | |
Publication status | Published - Jul 2017 |
Event | 24th International SPIN Symposium 2017: Model Checking of Software - University of California, Santa Barbara, United States Duration: 13 Jul 2017 → 14 Jul 2017 Conference number: 24 http://conf.researchr.org/home/spin-2017 |
Conference | 24th International SPIN Symposium 2017 |
---|---|
Abbreviated title | SPIN 2017 |
Country/Territory | United States |
City | Santa Barbara |
Period | 13/07/17 → 14/07/17 |
Internet address |
Research output: Thesis › PhD Thesis - Research UT, graduation UT