Anton Wijs. An overview of research with Slco on seamless integration of formal verification into model-driven software engineering. Science of Computer Programming, 248:103386, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.