ผู้เขียน: Leila Kloul

Mario Bravetti & Leila Kloul: Formal Techniques for Computer Systems and Business Processes