Formality works

DOI10.1016/S0020-0190(00)00210-6zbMath1003.68074OpenAlexW2911556156WikidataQ126857494 ScholiaQ126857494MaRDI QIDQ1607091

Rob R. Hoogerwoord

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00210-6

zbMATH Keywords

formal calculations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

This page was built for publication: Formality works