Formal Methods in the 21st Century - An Assessment of Today, Predictions for The Future |
| | Type | Technical report | | Year | 1998 pp. 4 | | Publisher | Department of Information Technology, Software Systems Section, Technical University of Denmark | | Address | DK-2800 Lyngby, Denmark | | Note | Panel position presented at the ICSE'98 April 22-14, 1998, Kyoto, Japan. http://www.imm.dtu.dk/~db/japan/icde98/icse98.ps}} | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|