Implementing Dynamic Aggregations of Abstract Machines in the B Method.

Nazareno Aguirre, Juan Bicarregui, Lucio Guzmn, T. S. E. Maibaum

Browse the full ICFEM paper archive.