[ACM Press the 19th Workshop - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17 - A Coq-based synthesis of Scala programs which are correct-by-construction
- 作者El Bakouny, Youssef; Crolard, Tristan; Mezher, Dani
- 文件大小368.91KB
- 发表时间2017
- DOI10.1145/3103111.3104041
- 页码1-2
Electrophilic reactions of 3-hydroxyisonicotinic acidL. D. Smirnov; L. G. Stolyarova; L. V. Shirokova; V. P. Lezina · 1977
Aminomethylation of 5(6)-hydroxybenzimidazoleL. D. Smirnov; Yu. V. Kuznetsov; L. G. Stolyarova; V. P. Lezina · 1985
Plasmochemical modification of polymer surfacesS. V. Ivanov; V. V. Trachevskii; N. V. Stolyarova; L. A. Zozulya · 2006
Rate of hydrogen isotope exchange in 5-hydroxynicotinic acidV. P. Lezina; L. G. Stolyarova; L. V. Shirokova; L. D. Smirnov · 1978
Nitration of 5(6)-hydroxybenzimidazole and its derivativesYu. V. Kuznetsov; L. G. Stolyarova; V. P. Lezina; L. D. Smirnov · 1989
Azo coupling of 5(6)-hydroxybenzimidazole and its derivativesYu. V. Kuznetsov; L. G. Stolyarova; V. P. Lezina; L. D. Smirhov · 1990
Study of electrophilic substitution of 5-hydroxypicolinic acidL. D. Smirnov; L. G. Stolyarova; V. S. Zhuravlev; V. P. Lezina; K. M. Dyumaev · 1976
Friedel-Crafts acylation of 5-hydroxybenzimidazole derivativesYu. V. Kuznetsov; L. G. Stolyarova; V. P. Lezina; M. M. Kazanskii; L. D. Smirnov · 1991