[IEEE 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Modular Synthesis of Verified Verifiers of Computation with STV Algorithms
Ketab Ghale, Milad, Pattinson, Dirk, Norrish, MichaelYear:
2019
Language:
english
DOI:
10.1109/FormaliSE.2019.00018
File:
PDF, 202 KB
english, 2019