scientific article; zbMATH DE number 1088216
From MaRDI portal
Publication:4364532
zbMATH Open0884.68037MaRDI QIDQ4364532FDOQ4364532
Authors: Manfred Broy 
Publication date: 17 November 1997
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 953284
- scientific article; zbMATH DE number 1461243
- Software Engineering for Mathematics
- scientific article; zbMATH DE number 10084
- Mathematical methods in engineering and applied sciences
- Mathematics in computational science and engineering
- scientific article; zbMATH DE number 1548482
Cited In (19)
- Title not available (Why is that?)
- Formal methods of analysis of system properties
- Modelling of Complex Software Systems: A Reasoned Overview
- The role of mathematics and formal specification techniques in software system development
- From “Formal Methods” to System Modeling
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mathematics and Software Verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mathematical foundations of software engineering. Essays in honour of Tom Maibaum on the occasion of his 70th birthday and retirement. Contributions of the international symposium, UNRC, Rio Cuarto, Argentina, February 16--17, 2019
- Title not available (Why is that?)
- Formal methods in computing
- Title not available (Why is that?)
- Software Engineering for Mathematics
- On what exactly goes on when software is developed step-by-step. II: The sequel
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mathematical methods of specification and synthesis of software systems '85. Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985
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 Q4364532)
