Structuring Reactive Systems in B AMN.

Kevin Lano, Kelly Androutsopoulos, Pauline Kan

Browse the full ICFEM paper archive.