AnnoDomini: From Type Theory to a Year 2000 Conversion Tool

Research output: Contribution to journal › Journal article › Research

  • Peter Harry Eidorff
  • Henglein, Fritz
  • Christian Mossin
  • Henning Niss
  • Morten Heine Sørensen
  • Mads Tofte
Original languageEnglish
JournalERCIM News
Volume36
Publication statusPublished - 1999

ID: 12873605