Mahesh Dodani. Formal Methods for Software Engineering. In Jorge L. Díaz-Herrera, editor, Software Engineering Education, 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994, Proceedings. Volume 750 of Lecture Notes in Computer Science, pages 597-597, Springer, 1994.
@inproceedings{Dodani94,
title = {Formal Methods for Software Engineering},
author = {Mahesh Dodani},
year = {1994},
tags = {software engineering},
researchr = {https://researchr.org/publication/Dodani94},
cites = {0},
citedby = {0},
pages = {597},
booktitle = {Software Engineering Education, 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994, Proceedings},
editor = {Jorge L. Díaz-Herrera},
volume = {750},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57461-1},
}