![Tutorial [] The KeY Approach to Deductive Verification of Object -Oriented Programs](https://img.uscri.be/pth/8847a9aa75e7eb210aa78001e1233cec79c810f6)
Documente
Științe formale
Tutorial [] The KeY Approach to Deductive Verification of Object -Oriented Programs
Autor
Peter H. Schmitt[2ex] Www.Key-Project.Org
Opere
(
1
)
Adăugat la notificările mele
Vei fi notificat cu privire la următoarele publicații.