Result: A Calculus for Set-Based Program Development Part II: Proof Search

*Title*:

*Author/editor-in-chief*:

Struth, Georg

*Publication*:

Augsburg : Universität Augsburg, 2006

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2003-16

*Result*: A Calculus for Set-Based Program Development Part II: Proof Search