@inproceedings{0b1d63876cf74f7db3590958ee3b5f02,
title = "Incremental formalization",
author = "Bernhard Steffen and Tiziana Margaria and Andreas Cla{\ss}en and Volker Braun",
year = "1996",
language = "English",
isbn = "9783540614630",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "608--611",
editor = "Maurice Nivat and Martin Wirsing",
booktitle = "Algebraic Methodology and Software Technology - 5th International Conference, AMAST 1996, Proceedings",
note = "5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996 ; Conference date: 01-07-1996 Through 05-07-1996",
}