Sign in
Join Literal
Authors
Author
Leila Kloul
Books
Formal Techniques for Computer Systems and Business Processes
Gianluigi Zavattaro, Mario Bravetti, Leila Kloul