Modular inference of subprogram contracts for safety checking
scientific article; zbMATH DE number 5814771
scientific article