scientific article; zbMATH DE number 2085178

MaRDI QIDQ4736402zbMATH OpenFDO

Authors Bran V. Selic

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2263/22630001.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Social processes, program verification and all that
• Formal methods: The very idea some thoughts about why they work when they work
• scientific article; zbMATH DE number 1497771
• scientific article; zbMATH DE number 1088216
• 40 years of formal methods. Some obstacles and some possibilities?

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 Q4736402)