One-Click Formal Methods
Backes, John, Varming, Carsten, Whalen, Michael, Bolignano, Pauline, Cook, Byron, Gacek, Andrew, Luckow, Kasper Soe, Rungta, Neha, Schaef, Martin, Schlesinger, Cole, Tanash, RimaVolume:
36
Journal:
IEEE Software
DOI:
10.1109/MS.2019.2930609
Date:
November, 2019
File:
PDF, 460 KB
2019