Verifying pointer programs using separation logic and invariant based programming in Isabelle
- Viorel Preoteasa*
*Tämän työn vastaava kirjoittaja
Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu