Journals
Books
Articles by keyword program-verifier
V. F. Filaretov, D. A. Juhimec, E. Sh. Mursalimov