%0 Conference Paper %1 conf/tfm/IshikawaTYH09 %A Ishikawa, Fuyuki %A Taguchi, Kenji %A Yoshioka, Nobukazu %A Honiden, Shinichi %B TFM %D 2009 %E Gibbons, Jeremy %E Oliveira, José Nuno %I Springer %K dblp %P 57-71 %T What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. %U http://dblp.uni-trier.de/db/conf/tfm/tfm2009.html#IshikawaTYH09 %V 5846 %@ 978-3-642-04911-8

@inproceedings{conf/tfm/IshikawaTYH09, added-at = {2018-11-02T00:00:00.000+0100}, author = {Ishikawa, Fuyuki and Taguchi, Kenji and Yoshioka, Nobukazu and Honiden, Shinichi}, biburl = {https://www.bibsonomy.org/bibtex/2d566e186d2ec51ad19a53c8468be8610/dblp}, booktitle = {TFM}, crossref = {conf/tfm/2009}, editor = {Gibbons, Jeremy and Oliveira, José Nuno}, ee = {https://doi.org/10.1007/978-3-642-04912-5_5}, interhash = {56c10a00dc81c9b5c037b4a69108765e}, intrahash = {d566e186d2ec51ad19a53c8468be8610}, isbn = {978-3-642-04911-8}, keywords = {dblp}, pages = {57-71}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:27:52.000+0200}, title = {What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.}, url = {http://dblp.uni-trier.de/db/conf/tfm/tfm2009.html#IshikawaTYH09}, volume = 5846, year = 2009 }