Demo: A Design Studio for Verification Tools

Kecskes, Tamas; Meijer, Patrik; Johnson, Taylor T.; Lucas, Marcus

doi:10.1145/3313151.3314057

by Tamas Kecskes, Patrik Meijer, Taylor T. Johnson, Marcus Lucas

Reference:

Tamas Kecskes, Patrik Meijer, Taylor T. Johnson, Marcus Lucas, "Demo: A Design Studio for Verification Tools", In Proceedings of the Workshop on Design Automation for CPS and IoT, ACM, New York, NY, USA, pp. 60–61, 2019, April.

Bibtex Entry:

@inproceedings{kecskes2019destion,
 author = {Kecskes, Tamas and Meijer, Patrik and Taylor T. Johnson and Lucas, Marcus},
 title = {Demo: A Design Studio for Verification Tools},
 booktitle = {Proceedings of the Workshop on Design Automation for CPS and IoT},
 series = {DESTION '19},
 year = {2019},
 isbn = {978-1-4503-6699-1},
 location = {Montreal, Quebec, Canada},
 pages = {60--61},
 numpages = {2},
 doi = {10.1145/3313151.3314057},
 acmid = {3314057},
 publisher = {ACM},
 address = {New York, NY, USA},
 month="April",
}