Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Giuseppe Del Castillo
Latest
Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines
Cite
×