home
>
book reviews
> Antoine Requet
Google >
Antoine Requet
author : Antoine Requet
Short works
Extending B with control flow breaks. 2003.
(In
ZB 2003
)