Mathematical foundations of software engineering. Essays in honour of Tom Maibaum on the occasion of his 70th birthday and retirement. Contributions of the international symposium, UNRC, Rio Cuarto, Argentina, February 16--17, 2019

zbMATH Open1499.68004MaRDI QIDQ5096575FDOQ5096575

Authors:

Publication date: 17 August 2022

Recommendations

• scientific article; zbMATH DE number 49520
• Editorial
• scientific article; zbMATH DE number 1088216
• Editorial
• Editorial

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Festschriften (00B30) Biographies, obituaries, personalia, bibliographies (01A70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx)

Cited In (1)

• Editorial. On being a PhD student of Robert Harper

This page was built for publication: Mathematical foundations of software engineering. Essays in honour of Tom Maibaum on the occasion of his 70th birthday and retirement. Contributions of the international symposium, UNRC, Rio Cuarto, Argentina, February 16--17, 2019

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