Sciweavers

ICFEM
2004
Springer

Implementing Dynamic Aggregations of Abstract Machines in the B Method

14 years 4 months ago
Implementing Dynamic Aggregations of Abstract Machines in the B Method
Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ICFEM
Authors Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
Comments (0)