scientific article; zbMATH DE number 2079805

zbMATH Open1043.68536MaRDI QIDQ4471906FDOQ4471906

Authors: Tony Hoare 

Publication date: 30 July 2004

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

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

Recommendations

• scientific article; zbMATH DE number 2086487
• Implementation of Functional Languages
• Integrated Formal Methods
• scientific article; zbMATH DE number 2031019
• scientific article; zbMATH DE number 1615263

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Implementation of Functional Languages

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