Universe Types for Topology and Encapsulation

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92188-2_4 ◽

2008 ◽

pp. 72-112 ◽

Cited By ~ 10

Author(s):

Dave Cunningham ◽

Werner Dietl ◽

Sophia Drossopoulou ◽

Adrian Francalanza ◽

Peter Müller ◽

...