(1 - 14 von 14
)
Workshop on Formal Techniques for Java-like Programs 2014Victoria University of Wellington
ecs.wgtn.ac.nz
9:30am, Constraint Semantics for Abstract Read Permissions, John Tang Boyland, Peter Müller, Malte Schwerhoff and Alexander J. Summers (ACM Link). › ftfjp2014
sortiert nach Relevanz / Datum