A. Yu. Bernshtein

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Control Program

Top Venues

Program. Comput. Softw.

Publications

Nikolay V. Shilov, Svetlana O. Shilova, A. Yu. Bernshtein
Program schemata technique for propositional program logics: A 30-year history. Program. Comput. Softw. 42 (4) (2016)