Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Alessandra Cavarra
Latest
Data Flow Analysis and Testing of Abstract State Machines
Cite
×