Title: Partial order methods in verification
Subjects: Electronic data processing, Distributed processing, Congresses, Verification, Computer software, Electronic data processing, distributed processing