Structuring and Design of Reactive Systems Using RSDS and B.

Kevin Lano, Kelly Androutsopoulos, David Clark

Browse the full FASE paper archive.