%0 Journal Article %1 journals/infsof/Sobel98 %A Sobel, Ann E. Kelley %D 1998 %J Inf. Softw. Technol. %K dblp %N 4 %P 233-238 %T Applying an operational formal method throughout software engineering education. %U http://dblp.uni-trier.de/db/journals/infsof/infsof40.html#Sobel98 %V 40

@article{journals/infsof/Sobel98, added-at = {2020-02-20T00:00:00.000+0100}, author = {Sobel, Ann E. Kelley}, biburl = {https://www.bibsonomy.org/bibtex/2b13e056677af502b50de3a72785c106c/dblp}, ee = {https://doi.org/10.1016/S0950-5849(98)00044-5}, interhash = {49b5b79fcdf5a6a23716a8176ebfce37}, intrahash = {b13e056677af502b50de3a72785c106c}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = 4, pages = {233-238}, timestamp = {2020-02-21T13:01:52.000+0100}, title = {Applying an operational formal method throughout software engineering education.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof40.html#Sobel98}, volume = 40, year = 1998 }