%0 Journal Article %1 journals/infsof/Garlan95 %A Garlan, David %D 1995 %J Inf. Softw. Technol. %K dblp %N 5-6 %P 261-268 %T Making formal methods education effective for professional software engineers. %U http://dblp.uni-trier.de/db/journals/infsof/infsof37.html#Garlan95 %V 37

@article{journals/infsof/Garlan95, added-at = {2020-02-20T00:00:00.000+0100}, author = {Garlan, David}, biburl = {https://www.bibsonomy.org/bibtex/27af958608da3f49850f10f06c7957fd3/dblp}, ee = {https://doi.org/10.1016/0950-5849(95)99361-P}, interhash = {d1ea98c7f251df444a93e09bbdc95d1a}, intrahash = {7af958608da3f49850f10f06c7957fd3}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = {5-6}, pages = {261-268}, timestamp = {2020-02-21T13:00:09.000+0100}, title = {Making formal methods education effective for professional software engineers.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof37.html#Garlan95}, volume = 37, year = 1995 }