Daniel Welch 0001. Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software. In Michael E. Caspersen, Stephen H. Edwards, Tiffany Barnes, Daniel D. Garcia, editors, Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, Seattle, WA, USA, March 8-11, 2017. pages 785-786, ACM, 2017. [doi]
Abstract is missing.