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

MaRDI QIDQ5096575zbMATH OpenFDO

Authors

Publication date 17 August 2022

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)

Recommendations

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

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)