09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems.
Jean-Raymond AbrialMichael J. ButlerRajev JoshiElena TroubitsynaJ. C. P. WoodcockPublished in: Refinement Based Methods for the Construction of Dependable Systems (2009)