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

• Authors:

• Jean-Raymond Abrial;Uwe Glässer

• Affiliations:

• Marseille, France;School of Computing Science, Burnaby, Simon Fraser University, BC, Canada

• Venue:
• Rigorous Methods for Software Construction and Analysis: essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
• Year:
• 2009