Towards Dynamically Communicating Abstract Machines in the B Method.

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

Browse the full ICFEM paper archive.