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

J. Abrial,U. Glässer
DOI: https://doi.org/10.1007/978-3-642-11447-2
Abstract:
What problem does this paper attempt to address?