Treffer: Program development by proof transformation
Titel:
Program development by proof transformation / vorgelegt von Luca Chiarabini
Beteiligt:
Entstehung:
[2009]
Umfang:
Online-Ressource
Format:
Sprache:
Englisch
Hochschulschrift:
München, Univ., Diss., 2009