Preliminary manual translations of verified C/ACSL functions into Imperative HOL
View all issues | Summary | Calendar
Manager: Pavel Putro
Developer: Pavel Putro
Reporter: Pavel Putro
Customer: Pavel Putro