@article{journals/sttt/BeyerJKLP06,
	title = {Putting it all together - Formal verification of the VAMP.},
	author = {Sven Beyer and Christian Jacobi and Daniel Kröning and Dirk Leinenbach and Wolfgang J. Paul},
	journal = {STTT},
	number = {4-5},
	pages = {411-430},
	url = {http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#BeyerJKLP06},
	volume = {8},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2c30caa9de6a17870ad4509c356145a2e/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s10009-006-0204-6}, date = {2007-02-07},
	keywords = {dblp }
}