author : Diana Toma

Short works

• Component reuse in B using ACL2. 2005. (In ZB 2005 )