@article{freek2006c,
	Author = {Freek Wiedijk},
	Date-Added = {2014-11-16 22:02:16 +0000},
	Date-Modified = {2014-11-16 22:03:57 +0000},
	Journal = {Nieuwsbrief van de NVTI},
	Pages = {14--23},
	Title = {On the usefulness of formal methods},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/nvti.pdf},
	Year = {2006}}

{"_id":"4CZSvGDStgd9akJB8","bibbaseid":"wiedijk-ontheusefulnessofformalmethods-2006","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-16 22:02:16 +0000","date-modified":"2014-11-16 22:03:57 +0000","journal":"Nieuwsbrief van de NVTI","pages":"14–23","title":"On the usefulness of formal methods","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/nvti.pdf","year":"2006","bibtex":"@article{freek2006c,\n\tAuthor = {Freek Wiedijk},\n\tDate-Added = {2014-11-16 22:02:16 +0000},\n\tDate-Modified = {2014-11-16 22:03:57 +0000},\n\tJournal = {Nieuwsbrief van de NVTI},\n\tPages = {14--23},\n\tTitle = {On the usefulness of formal methods},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/nvti.pdf},\n\tYear = {2006}}\n\n","author_short":["Wiedijk, F."],"key":"freek2006c","id":"freek2006c","bibbaseid":"wiedijk-ontheusefulnessofformalmethods-2006","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/nvti.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["usefulness","formal","methods","wiedijk"],"title":"On the usefulness of formal methods","year":2006}