Methods
Conferences
Case Studies
Publications
Keynotes
Committee
José Maria Turull Torres
Latest
Systematic Refinement of Abstract State Machines with Higher-Order Logic
Towards an ASM Thesis for Reflective Sequential Algorithms
Cite
×