DOI10.1007/978-3-030-39322-9_16OpenAlexW3003923933MaRDI QIDQ784148
Mouhammad Sakr, Swen Jacobs, Martín G. Zimmermann
Publication date: 5 August 2020
Full work available at URL: https://arxiv.org/abs/1911.03122
Mathematics Subject Classification ID
Specification and verification (program logics, model checking, etc.) (68Q60)
