@inproceedings{bcd3cbb3616d4bf98bdc9387d4a82067,
title = "Formal methods in software engineering",
keywords = "software engineering",
author = "Veikko Sepp{\"a}nen",
year = "1997",
language = "English",
isbn = "978-0-8186-8129-5",
pages = "197--198",
booktitle = "Proceedings 23rd Euromicro Conference",
publisher = "IEEE Institute of Electrical and Electronic Engineers",
address = "United States",
note = "23rd EUROMICRO Conference, EUROMICRO'97 : New frontiers of information technology ; Conference date: 01-09-1997 Through 04-09-1997",
}