author : Leonid Mikhailov

Papers/Articles

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