John Backes, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Martin Schaef, Cole Schlesinger, Rima Tanash, Carsten Varming, Michael W. Whalen. One-Click Formal Methods. IEEE Software, 36(6):61-65, 2019. [doi]
Abstract is missing.