Dines Bjørner, Søren Prehn. Formal Methods in Software Development: Requirements for a CASE. In Albert Endres, Herbert Weber, editors, Software Development Environments and CASE Technology, European Symposium, Königswinter, Germany, June 17-19, 1991, Proceedings. Volume 509 of Lecture Notes in Computer Science, pages 178-210, Springer, 1991.
@inproceedings{BjornerP91, title = {Formal Methods in Software Development: Requirements for a CASE}, author = {Dines Bjørner and Søren Prehn}, year = {1991}, researchr = {https://researchr.org/publication/BjornerP91}, cites = {0}, citedby = {0}, pages = {178-210}, booktitle = {Software Development Environments and CASE Technology, European Symposium, Königswinter, Germany, June 17-19, 1991, Proceedings}, editor = {Albert Endres and Herbert Weber}, volume = {509}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-54194-2}, }