Mario Bravetti · 5 obras en el catálogoObrasWeb services and formal methodsSoftware Engineering and Formal MethodsCCONCUR 2009 - Concurrency TheoryCONCUR 2009 - Concurrency TheoryFFormal Techniques for Computer Systems and Business ProcesseFormal Techniques for Computer Systems and Business ProcessesBBehavioral Types in Programming LanguagesBehavioral Types in Programming Languages
FFormal Techniques for Computer Systems and Business ProcesseFormal Techniques for Computer Systems and Business Processes