Vol-4116⫷ Vol-4117 ⫸Vol-4118
urn:nbn:de:0074-4117-0


Vol-4117/short_rcra_5⫷Vol-4117/paper_aspocp_1⫸Vol-4117/paper_aspocp_2
Andreas StadelmeierMartin Plümicke

Global Type Inference for Java using Answer Set Programming