A. Gomolińska, M. Wolski
On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System
Conference on Mathematical Foundations of Informatics, Chisinau, Republic of Moldova, Nov 9-11, 2017
Mathematical Society of Republic of Moldova,Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova, (org.)
