Context

Context of 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, (eds.), (electronic resource)
Processing Feedback ...