%0 Conference Paper %1 conf/fm/IshikawaYT15 %A Ishikawa, Fuyuki %A Yoshioka, Nobukazu %A Tanabe, Yoshinori %B FMSEE&T@FM %D 2015 %E Bollin, Andreas %E Margaria, Tiziana %E Perseil, Isabelle %I CEUR-WS.org %K dblp %P 35-42 %T Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. %U http://dblp.uni-trier.de/db/conf/fm/fmseet2015.html#IshikawaYT15 %V 1385

@inproceedings{conf/fm/IshikawaYT15, added-at = {2023-03-10T00:00:00.000+0100}, author = {Ishikawa, Fuyuki and Yoshioka, Nobukazu and Tanabe, Yoshinori}, biburl = {https://www.bibsonomy.org/bibtex/2bd6f4f3d86e4e7f98db0bbd0d97ffce7/dblp}, booktitle = {FMSEE&T@FM}, crossref = {conf/fm/2015fmseet}, editor = {Bollin, Andreas and Margaria, Tiziana and Perseil, Isabelle}, ee = {https://ceur-ws.org/Vol-1385/paper6.pdf}, interhash = {3e8ea529bb4113e5a33b190066e55563}, intrahash = {bd6f4f3d86e4e7f98db0bbd0d97ffce7}, keywords = {dblp}, pages = {35-42}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T13:22:23.000+0200}, title = {Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program.}, url = {http://dblp.uni-trier.de/db/conf/fm/fmseet2015.html#IshikawaYT15}, volume = 1385, year = 2015 }