scientific article; zbMATH DE number 1088216
From MaRDI portal
Publication:4364532
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
(23)- On what exactly goes on when software is developed step-by-step. II: The sequel
- Mathematical methods of specification and synthesis of software systems '85. Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985
- Formal methods of analysis of system properties
- The role of mathematics and formal specification techniques in software system development
- Formal methods in computing
- From “Formal Methods” to System Modeling
- Modelling of Complex Software Systems: A Reasoned Overview
- Software Engineering for Mathematics
- scientific article; zbMATH DE number 49520 (Why is no real title available?)
- scientific article; zbMATH DE number 1203401 (Why is no real title available?)
- scientific article; zbMATH DE number 1324643 (Why is no real title available?)
- scientific article; zbMATH DE number 550776 (Why is no real title available?)
- scientific article; zbMATH DE number 651961 (Why is no real title available?)
- scientific article; zbMATH DE number 2069283 (Why is no real title available?)
- scientific article; zbMATH DE number 1497790 (Why is no real title available?)
- scientific article; zbMATH DE number 2155175 (Why is no real title available?)
- scientific article; zbMATH DE number 10084 (Why is no real title available?)
- scientific article; zbMATH DE number 953284 (Why is no real title available?)
- scientific article; zbMATH DE number 2085178 (Why is no real title available?)
- Mathematics and Software Verification
- 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
- scientific article; zbMATH DE number 2223195 (Why is no real title available?)
- scientific article; zbMATH DE number 4187092 (Why is no real title available?)
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)
