A modal interface theory for component-based design. Fundamenta Informaticae (2011)

by RBB11 J-B Raclet, E Badouel, A Benveniste, A Legay B Caillaud, R Passerone