Logics for low-level code and proof-preserving program transformations

Ando Saabas, doktorikraad, 2008, (juh) Tarmo Uustalu; Enn Tõugu, Logics for low-level code and proof-preserving program transformations (Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused), Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
Ando Saabas
doktorikraad
Kaitstud
Ei
7.07.2004
2008
Inglise
Logics for low-level code and proof-preserving program transformations
Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused