scientific article; zbMATH DE number 1995120

zbMATH Open1023.68503MaRDI QIDQ4431335FDOQ4431335

Authors: Jonathan P. Bowen 

Publication date: 21 October 2003

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Mathematical problems of computer architecture (68M07)

Cited In (3)

• Communities and ancestors associated with Egon Börger and ASM
• Development of safety-critical real-time systems
• Specification, verification and prototyping of an optimized compiler

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