Use of methods of algebraic programming for the formal verification of legal acts за авторством Peschanenko, V.S., Poltoratskiy, M.

Отримати повний текст