Abrial, J., & Gls̃ser, U. (2009). Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Br̲ger on the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg.
Chicago Style CitationAbrial, Jean-Raymond., and Uwe Gls̃ser. Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Br̲ger On the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
MLA CitationAbrial, Jean-Raymond., and Uwe Gls̃ser. Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Br̲ger On the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Warning: These citations may not always be 100% accurate.