%0 Conference Paper %1 conf/sofl/Nakajima14 %A Nakajima, Shin %B SOFL+MSVL %D 2014 %E Liu, Shaoying %E Duan, Zhenhua %I Springer %K dblp %P 97-110 %T Using Alloy in Introductory Courses of Formal Methods. %U http://dblp.uni-trier.de/db/conf/sofl/sofl2014.html#Nakajima14 %V 8979 %@ 978-3-319-17403-7

@inproceedings{conf/sofl/Nakajima14, added-at = {2017-12-25T00:00:00.000+0100}, author = {Nakajima, Shin}, biburl = {https://www.bibsonomy.org/bibtex/29334774fc844e8281c625fc240692b36/dblp}, booktitle = {SOFL+MSVL}, crossref = {conf/sofl/2014}, editor = {Liu, Shaoying and Duan, Zhenhua}, ee = {https://doi.org/10.1007/978-3-319-17404-4_7}, interhash = {81ac13a2b9399f132f8f9d6258243217}, intrahash = {9334774fc844e8281c625fc240692b36}, isbn = {978-3-319-17403-7}, keywords = {dblp}, pages = {97-110}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:35:04.000+0200}, title = {Using Alloy in Introductory Courses of Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/sofl/sofl2014.html#Nakajima14}, volume = 8979, year = 2014 }