Formal Methods in the 21'st Century: An Assessment of Today - Predictions for the Future

Dines Bjørner

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publicationICSE'98: Intl. Conf. on Software Engineering
    Place of PublicationLos Alamitos, Calif., USA
    PublisherIEEE Computer Society Press
    Publication date1998
    Publication statusPublished - 1998
    EventICSE'98: Intl. Conf. on Software Engineering - Kyoto, Japan
    Duration: 1 Jan 1997 → …

    Conference

    ConferenceICSE'98: Intl. Conf. on Software Engineering
    CityKyoto, Japan
    Period01/01/1997 → …

    Cite this

    Bjørner, D. (1998). Formal Methods in the 21'st Century: An Assessment of Today - Predictions for the Future. In ICSE'98: Intl. Conf. on Software Engineering IEEE Computer Society Press.