AUTHOREA
Log in Sign Up Browse Preprints

August 28, 2024
Automation Processes for Efficient Verification of Complex Systems: an Empirical Case...
Rune André Haugen, Nils-Olav Skeie, Gerrit Muller, et al.