home
>
book reviews
> Nazareno Aguirre
Google >
Nazareno Aguirre
author : Nazareno Aguirre
Short works
Towards dynamic population management of abstract machines in the B method. 2003.
(In
ZB 2003
)