%0 Journal Article
%T Formal methods in industrial critical systems
%A Cimatti, Alessandro
%A Titolo, Laura
%J International Journal on Software Tools for Technology Transfer
%V OnlineFirst
%P 1-3
%@ 1433-2779
%D 2025-06-06
%I Springer Berlin Heidelberg
%~ DeepDyve