From Rm-Odp To The Formal Behavior Representation (2001)

by Pavel Balabko , Alain Wegmann
Venue:10-th OOPSLA Workshop on Behavioral Semantics, OOPSLA 2001
Citations:7 - 0 self