Context

Context of Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control, edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack, (electronic resource)
Processing Feedback ...