Trustable Formal Specification for Software Certification.

Dominique Mry, Neeraj Kumar Singh

Browse the full ISoLA paper archive.