author : Mihhail Matskin

Papers/Articles

• Applications of Structural Synthesis of Programs. 1999. In FM'99 volume 1