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

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Original language	English
Title of host publication	ICSE'98: Intl. Conf. on Software Engineering
Place of Publication	Los Alamitos, Calif., USA
Publisher	IEEE Computer Society Press
Publication date	1998
Publication status	Published - 1998
Event	ICSE'98: Intl. Conf. on Software Engineering - Kyoto, Japan Duration: 1 Jan 1997 → …

Conference	ICSE'98: Intl. Conf. on Software Engineering
City	Kyoto, Japan
Period	01/01/1997 → …

OpenUrl availability

@inproceedings{2815e693c1544af7a0cb2f0a7ec769bb,

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

author = "Dines Bj{\o}rner",

year = "1998",

language = "English",

booktitle = "ICSE'98: Intl. Conf. on Software Engineering",

publisher = "IEEE Computer Society Press",

note = "ICSE'98: Intl. Conf. on Software Engineering ; Conference date: 01-01-1997",

}