Vol-258⫷ Vol-259 ⫸Vol-260
urn:nbn:de:0074-259-0


Vol-259/paper-6⫷Vol-259/paper-7⫸Vol-259/paper-8

ALICE: An Advanced Logic for Interactive Component Engineering