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

DOI10.1007/978-3-030-33636-3zbMATH Open1428.68024MaRDI QIDQ2286261

Author name not available (Why is that?)

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)

Related Items (2)

Translation certification for smart contracts ⋮ 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)