Proofs, Programs, Processes

Programs, Proofs, Processes - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13962-8_5 ◽

2010 ◽

pp. 39-48 ◽

Cited By ~ 4

Author(s):

Ulrich Berger ◽

Monika Seisenberger

Download Full-text