(1 - 16 von 16
)
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