Formal techniques for computer systems and business process

Descrição: This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit ede Versail... Veja mais