@article{journals/infsof/Wordsworth99,
	title = {Getting the best from formal methods.},
	author = {John Wordsworth},
	journal = {Information & Software Technology},
	number = {14},
	pages = {1027-1032},
	url = {http://dblp.uni-trier.de/db/journals/infsof/infsof41.html#Wordsworth99},
	volume = {41},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/224f97b585236ac9bf2764de3e9d86ae7/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/S0950-5849(99)00078-6}, date = {2005-04-13},
	keywords = {dblp }
}