Ann E. Kelley Sobel. Emphasizing formal analysis in a software engineering curriculum. IEEE Trans. Education, 44(2):17, 2001. [doi]
@article{Sobel01-0,
title = {Emphasizing formal analysis in a software engineering curriculum},
author = {Ann E. Kelley Sobel},
year = {2001},
doi = {10.1109/TE.2001.925876},
url = {http://dx.doi.org/10.1109/TE.2001.925876},
researchr = {https://researchr.org/publication/Sobel01-0},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Education},
volume = {44},
number = {2},
pages = {17},
}