Pict Correctness Revisited

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_13 ◽

2007 ◽

pp. 206-220 ◽

Author(s):

Philippe Bidinger ◽

Adriana Compagnoni

Download Full-text