Vol-1192⫷ Vol-1193 ⫸Vol-1194
urn:nbn:de:0074-1193-0


Vol-1193/paper_10⫷Vol-1193/paper_35⫸Vol-1193/paper_77
Florian ZulegerHelmut VeithTomer KotekMantas Simkus

Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability