The top documents tagged [madelaine parameterized]

Models for the Verification of Distributed Java Objects
Documents Models for the Verification of Distributed Java Objects

49 views