Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Marcus Lucas. Demo: a design studio for verification tools. In Alberto L. Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu 0002, editors, Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019. pages 60-61, ACM, 2019. [doi]
Abstract is missing.