M
Mario Bravetti
5 works on record
Works
Web services and formal methods
Software Engineering and Formal Methods
Formal Techniques for Computer Systems and Business Processes
Formal Techniques for Computer Systems and Business Processes
CONCUR 2009 - Concurrency Theory
CONCUR 2009 - Concurrency Theory
Behavioral Types in Programming Languages
Behavioral Types in Programming Languages