Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7--9, 2019. Proceedings

DOI10.1007/978-3-030-33636-3MaRDI QIDQ2286261zbMATH OpenFDO

Authors

Publication date 10 January 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited in

(4)

• Special issue: Mathematics of program construction, MPC 2000. 5th international conference, Ponte de Lima, Portugal, July 3--7, 2000
• Translation certification for smart contracts
• Mathematics of program construction. 9th international conference, MPC 2008, Marseille, France, July 15--18, 2008. Proceedings
• Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3--5, 2000. Proceedings

This page was built for publication: Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7--9, 2019. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2286261)