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
(19)- Formal methods of analysis of system properties
- scientific article; zbMATH DE number 1497790 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 651961 (Why is no real title available?)
- scientific article; zbMATH DE number 49520 (Why is no real title available?)
- Mathematics and Software Verification
- scientific article; zbMATH DE number 2069283 (Why is no real title available?)
- scientific article; zbMATH DE number 2223195 (Why is no real title available?)
- 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 4187092 (Why is no real title available?)
- Formal methods in computing
- scientific article; zbMATH DE number 2155175 (Why is no real title available?)
- Software Engineering for Mathematics
- On what exactly goes on when software is developed step-by-step. II: The sequel
- scientific article; zbMATH DE number 550776 (Why is no real title available?)
- Mathematical methods of specification and synthesis of software systems '85. Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985
- scientific article; zbMATH DE number 2085178 (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)
