@book{68819,
	author = {Iyoda, Juliano and de Moura, Leonardo},
	title = {Formal Methods: foundations and applications },
	series = {Programming and Software Engineering ;},
	edition = {1st ed. 2013.},
	url = {http://10.10.170.122:8080/browse/book/27369}
}