AnnoDomini: From Type Theory to a Year 2000 Conversion Tool
Research output: Contribution to journal › Journal article › Research
Original language | English |
---|---|
Journal | ERCIM News |
Volume | 36 |
Publication status | Published - 1999 |
ID: 12873605
Research output: Contribution to journal › Journal article › Research
Original language | English |
---|---|
Journal | ERCIM News |
Volume | 36 |
Publication status | Published - 1999 |
ID: 12873605