Vol-2138⫷ Vol-2139 ⫸Vol-2140
urn:nbn:de:0074-2139-0


Vol-2139/99-108⫷Vol-2139/109-114⫸Vol-2139/115-123
Maksym PoltorackiyVladimir S. Peschanenko

Use of metods of algebraic programming for the formal verification of legal acts