Exploració per autor "Mylonakis Pascual, Nicos"
Ara es mostren els items 1-1 de 1
-
A type-theoretic approach to proof support for algebraic design frameworks
Mylonakis Pascual, Nicos (Universitat Politècnica de Catalunya, 2000-06-30)
Tesi
Accés obertA TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC <br/> DESIGN FRAMEWORKS<br/><br/><br/> En el desarrollo formal de software, ...