scientific article; zbMATH DE number 2016062

zbMATH Open1028.68511MaRDI QIDQ4438760

David Harel

Publication date: 10 December 2003

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

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

Mathematics Subject Classification ID

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

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