Normal view
MARC view
Computer systems Verification Congresses (Topical Term)
Machine generated authority record.
Work cat.: (OSt)184604: Reachability problems : 9th international workshop, RP, proceedings, Warsaw, Poland, Sep. 21-23, 2015 (e-book), Springer