9 citations · 28 across the 7 of their papers we have counts for
1 paper · 1 filter
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
Interface specifications play an important role in component-based software development. An interface theory is a formal framework supporting composition, refinement and compatibil…