Suche

Abstract Algebra of Program Refinement

Kim Solin

Abstract Algebra of Program Refinement

Dissertation, Universität Augsburg/Abo Akademi
Betreuer: Professor Dr. B. Möller, Prof. Dr. R.-J. Back
erschienen 2007