%0 Journal Article %1 journals/sigcse/LiuTHN09 %A Liu, Shaoying %A Takahashi, Kazuhiro %A Hayashi, Toshinori %A Nakayama, Toshihiro %D 2009 %J SIGCSE Bulletin %K dblp %N 2 %P 17-23 %T Teaching formal methods in the context of software engineering. %U http://dblp.uni-trier.de/db/journals/sigcse/sigcse41.html#LiuTHN09 %V 41

@article{journals/sigcse/LiuTHN09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Liu, Shaoying and Takahashi, Kazuhiro and Hayashi, Toshinori and Nakayama, Toshihiro}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2de6d1f9c9dd8496b5fcb0fa2b5ea23d4/dblp}, ee = {https://doi.org/10.1145/1595453.1595457}, interhash = {d31f4b767d8c6fe449ebec0df3dd1b15}, intrahash = {de6d1f9c9dd8496b5fcb0fa2b5ea23d4}, journal = {SIGCSE Bulletin}, keywords = {dblp}, number = 2, pages = {17-23}, timestamp = {2019-09-27T08:03:35.000+0200}, title = {Teaching formal methods in the context of software engineering.}, url = {http://dblp.uni-trier.de/db/journals/sigcse/sigcse41.html#LiuTHN09}, volume = 41, year = 2009 }