@book{209680,
	author = {International Conference on Formal Engineering Methods and Aoki, Toshiaki.},
	title = {Formal methods and software engineering},
	publisher = {Springer,},
	year = {[2012]},
	series = {Lecture notes in computer science,},
	address = {Berlin ;},
	url = {http://JE5QH2YG7P.search.serialssolutions.com/?V=1.0&L=JE5QH2YG7P&S=JCs&C=TC0000788959&T=marc}
}