Context

Context of Formal systems specification : the RPC-memory specification case study, Manfred Broy, Stephan Merz, Katharina Spies, eds
Processing Feedback ...