@TECHREPORT\{IMM1998-02347,
    author       = "D. Bj{\o}rner",
    title        = "Formal Methods in the 21st Century - An Assessment of Today, Predictions for The Future",
    year         = "1998",
    pages        = "4",
    number       = "",
    series       = "",
    institution  = "Department of Information Technology,  Software Systems Section,  Technical University of Denmark",
    address      = "DK-2800 Lyngby, Denmark",
    type         = "",
    note         = "Panel position presented at the {ICSE'}98 April 22-14, 1998, Kyoto, Japan. http://www.imm.dtu.dk/\verb+~+db/japan/icde98/icse98.ps\}\}",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2347-full.html"
}