scientific article; zbMATH DE number 7526292

MaRDI QIDQ5075308zbMATH OpenFDO

Authors Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis

Publication date 12 May 2022

Mathematics Subject Classification ID

History of computer science (68-03)

Recommendations

• Social processes, program verification and all that
• scientific article; zbMATH DE number 2152635
• scientific article; zbMATH DE number 5560306
• Proofs, programs, processes
• Proofs, programs, processes
• scientific article; zbMATH DE number 7526282
• scientific article; zbMATH DE number 3517079
• Proofs as processes
• scientific article; zbMATH DE number 6862691

This page was built for publication:

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