Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson. Teaching Formal Methods Early in the Software Engineering Curriculum (panel). In CSEE&T. pages 55, 2000. [doi]
@inproceedings{SobelSSH00,
title = {Teaching Formal Methods Early in the Software Engineering Curriculum (panel)},
author = {Ann E. Kelley Sobel and Hossein Saiedian and Allan M. Stavely and Peter B. Henderson},
year = {2000},
url = {http://computer.org/proceedings/cseet/0421/04210055abs.htm},
tags = {software engineering, teaching},
researchr = {https://researchr.org/publication/SobelSSH00},
cites = {0},
citedby = {0},
pages = {55},
booktitle = {CSEE&T},
}