Go
Sort by:
titleDate of defensesubmit date
Order:
ascendingdescending
Results:
51020406080100
Update
Now showing items 1-1 of 1
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, ...