Formal verification of C systems code. Structured types, separation logic and theorem proving
scientific article; zbMATH DE number 5600119
scientific article