@inproceedings{NM14,
	Author = {Anthony Narkawicz and C{\'{e}}sar Mu{\~{n}}oz},
	Booktitle = {Proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2013)},
	Month = {May},
	Title = {A Formally Verified Generic Branching Algorithm for Global Optimization},
        Address = {Menlo Park, CA, US},
        series = "Lecture Notes in Computer Science",        
        editor = "Ernie Cohen and Andrey Rybalchenko",
        volume = "8164",
        pages = "326--343",
        year = "2014",
        publisher = "Springer",
}