![Tutorial [] The KeY Approach to Deductive Verification of Object -Oriented Programs](https://img.uscri.be/pth/8847a9aa75e7eb210aa78001e1233cec79c810f6)
Documents
Sciences formelles
Tutorial [] The KeY Approach to Deductive Verification of Object -Oriented Programs
Auteur
Reiner Hähnle
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.