1. Home
  2. Universitat Politècnica de Catalunya
  3. Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014)
  4. Browsing Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014) by Author

Browsing Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014) by Author "Mylonakis Pascual, Nicos"

Now showing items 1-1 of 1

    A type-theoretic approach to proof support for algebraic design frameworks 

    Mylonakis Pascual, Nicos (Date of defense: 2000-06-30)

    A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC <br/> DESIGN FRAMEWORKS<br/><br/><br/> En el desarrollo formal de software, ...