Exploració per altres contribucions "Orejas Valdés, Fernando"
Ara es mostren els items 1-1 de 1
-
A type-theoretic approach to proof support for algebraic design frameworks
(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, ...