Lecture Notes in Computer Science

1 primary work

Formal Techniques for Computer Systems and Business Processes

by Mario Bravetti

Published 1 January 2005