Franz Lichtenberger. Making Formal Methods Popular: The Crux is Math Education!. In Andreas Bollin, Tiziana Margaria, Isabelle Perseil, editors, Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015. Volume 1385 of CEUR Workshop Proceedings, pages 27-34, CEUR-WS.org, 2015. [doi]
@inproceedings{Lichtenberger15, title = {Making Formal Methods Popular: The Crux is Math Education!}, author = {Franz Lichtenberger}, year = {2015}, url = {http://ceur-ws.org/Vol-1385/paper5.pdf}, researchr = {https://researchr.org/publication/Lichtenberger15}, cites = {0}, citedby = {0}, pages = {27-34}, booktitle = {Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015}, editor = {Andreas Bollin and Tiziana Margaria and Isabelle Perseil}, volume = {1385}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }