Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Jean-Raymond Abrial Uwe Glässer Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday 2009 5115 978-3-642-11446-5 http://dx.doi.org/10.1007/978-3-642-11447-2 Rigorous Methods for Software Construction and Analysis Lecture Notes in Computer Science Springer db/conf/birthday/borger2009.html