author : Leonid Mikhailov

Short works

• An Approach to Combining B and Alloy. 2002. (In ZB 2002 )