Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman 0001, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova. Flexible Formality Practical Experience with Agile Formal Methods. In Aleksander Byrski, John Hughes, editors, Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers. Volume 12222 of Lecture Notes in Computer Science, pages 94-120, Springer, 2020. [doi]
Abstract is missing.