Milad K. Ghale, Dirk Pattinson, Michael Norrish. Modular synthesis of verified verifiers of computation with STV algorithms. In Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi, editors, Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. pages 85-94, IEEE / ACM, 2019. [doi]
Abstract is missing.