This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Jan Friso Groote
A grouping.
Whether formal methods pay, measured rather than argued: an analysis of what happened to defect rates in an industrial control software project, and a formal analysis of Dutch generic integrated systems. The third record is a textbook building a computer from logic gates upward.
3 references
A formal analysis of Dutch Generic Integral Tunnel Design models
Kevin Jilissen and others (2023) · Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing · Association for Computing Machinery
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote and others (2021) · Springer
Analyzing the effects of formal methods on the development of industrial control software
Jan Friso Groote and others (2011) · 2011 27th IEEE International Conference on Software Maintenance (ICSM) · IEEE