*to main content*

*to footer with external links*

Result: Program development by proof transformation

*Title*:

Program development by proof transformation / vorgelegt von Luca Chiarabini

*Author/editor-in-chief*:

Chiarabini, Luca

*Manufacture*:

[2009]

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Dissertation note*:

München, Univ., Diss., 2009