%0 Conference Paper %1 conf/iticse/FisherJ16 %A Fisher, Gene %A Johnson, Corrigan %B ITiCSE %D 2016 %E Clear, Alison %E Cuadros-Vargas, Ernesto %E Carter, Janet %E Túpac, Yván %I ACM %K dblp %P 224-229 %T Making Formal Methods More Relevant to Software Engineering Students via Automated Test Generation. %U http://dblp.uni-trier.de/db/conf/iticse/iticse2016.html#FisherJ16 %@ 978-1-4503-4231-5

@inproceedings{conf/iticse/FisherJ16, added-at = {2016-07-10T00:00:00.000+0200}, author = {Fisher, Gene and Johnson, Corrigan}, biburl = {https://www.bibsonomy.org/bibtex/2c576f66ca3bf3c6824ea3edb5862783b/dblp}, booktitle = {ITiCSE}, crossref = {conf/iticse/2016}, editor = {Clear, Alison and Cuadros-Vargas, Ernesto and Carter, Janet and Túpac, Yván}, ee = {http://doi.acm.org/10.1145/2899415.2899424}, interhash = {304306b32dc47af95f2b176b5c4174c4}, intrahash = {c576f66ca3bf3c6824ea3edb5862783b}, isbn = {978-1-4503-4231-5}, keywords = {dblp}, pages = {224-229}, publisher = {ACM}, timestamp = {2017-01-19T11:34:56.000+0100}, title = {Making Formal Methods More Relevant to Software Engineering Students via Automated Test Generation.}, url = {http://dblp.uni-trier.de/db/conf/iticse/iticse2016.html#FisherJ16}, year = 2016 }