%0 Conference Paper %1 conf/profes/YamashitaTY17 %A Yamashita, Seiji %A Tsunoda, Masateru %A Yokogawa, Tomoyuki %B PROFES %D 2017 %E Felderer, Michael %E Fernández, Daniel Méndez %E Turhan, Burak %E Kalinowski, Marcos %E Sarro, Federica %E Winkler, Dietmar %I Springer %K dblp %P 597-601 %T Visual Programming Language for Model Checkers Based on Google Blockly. %U http://dblp.uni-trier.de/db/conf/profes/profes2017.html#YamashitaTY17 %V 10611 %@ 978-3-319-69926-4

@inproceedings{conf/profes/YamashitaTY17, added-at = {2017-11-14T00:00:00.000+0100}, author = {Yamashita, Seiji and Tsunoda, Masateru and Yokogawa, Tomoyuki}, biburl = {https://www.bibsonomy.org/bibtex/2fb24d806b68010d5b05f332dab197b27/dblp}, booktitle = {PROFES}, crossref = {conf/profes/2017}, editor = {Felderer, Michael and Fernández, Daniel Méndez and Turhan, Burak and Kalinowski, Marcos and Sarro, Federica and Winkler, Dietmar}, ee = {https://doi.org/10.1007/978-3-319-69926-4_49}, interhash = {d595f2f96d7ed3f1698e35dc5c50c988}, intrahash = {fb24d806b68010d5b05f332dab197b27}, isbn = {978-3-319-69926-4}, keywords = {dblp}, pages = {597-601}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:37:16.000+0200}, title = {Visual Programming Language for Model Checkers Based on Google Blockly.}, url = {http://dblp.uni-trier.de/db/conf/profes/profes2017.html#YamashitaTY17}, volume = 10611, year = 2017 }