Vol-371⫷ Vol-372 ⫸Vol-373
urn:nbn:de:0074-372-0


Vol-372/paper-4⫷Vol-372/paper-5⫸Vol-372/paper-6
Richard BubelPeter H. SchmittReiner Hähnle

Specification Predicates with Explicit Dependency Information