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


Vol-259/paper-15⫷Vol-259/paper-16
Benjamin Weiß 0001Peter H. Schmitt

Inferring Invariants by Symbolic Execution