Formal Techniques for Computer Systems and Business ProcessesGianluigi Zavattaro,Mario Bravetti,Leila Kloul · First published 2008Open the Tome
Formal Techniques for Computer Systems and Business ProcessesMario Bravetti, Leila Kloul, Gianluigi Zavattaro · First published 2005Open the Tome
