%0 Conference Paper %1 conf/iwfm/Miller99 %A Miller, J. F. %B IWFM %D 1999 %E Butterfield, Andrew %E Haegele, Klemens %I BCS %K dblp %T Teaching and Learning Formal Methods, Improving Productivity. %U http://dblp.uni-trier.de/db/conf/iwfm/iwfm1999.html#Miller99

@inproceedings{conf/iwfm/Miller99, added-at = {2014-06-11T00:00:00.000+0200}, author = {Miller, J. F.}, biburl = {https://www.bibsonomy.org/bibtex/2a6b5351cad7415d0bbf770a5c996d30c/dblp}, booktitle = {IWFM}, crossref = {conf/iwfm/1999}, editor = {Butterfield, Andrew and Haegele, Klemens}, ee = {http://ewic.bcs.org/content/ConWebDoc/4234}, interhash = {f8d2df4fbb868e582ff6984dea037898}, intrahash = {a6b5351cad7415d0bbf770a5c996d30c}, keywords = {dblp}, publisher = {BCS}, series = {Workshops in Computing}, timestamp = {2018-06-20T11:42:59.000+0200}, title = {Teaching and Learning Formal Methods, Improving Productivity.}, url = {http://dblp.uni-trier.de/db/conf/iwfm/iwfm1999.html#Miller99}, year = 1999 }