Applications

  • Specification of a Smart Card Operating System
    Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro.
  • Dependent Record Types, Subtyping and Proof Reutilization
    Gustavo Betarte
  • Formalisation of Systems of Algebras using Dependent Record Types and Subtyping: An Example.
    Gustavo Betarte, Alvaro Tasistro
    • Formal methods
    Last modified: Thu Oct 18 13:53:28 GMT 2001