Ptolemy: A Language with Quantified, Typed Events (0)

by H Rajan, G Leavens
Venue:In ECOOP’08