Skip navigation

Browsing by Subject Formal software verification

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2019Verified Extraction for CoqSavary BĂ©langer, Olivier