The method of requirements prioritization in software engineering von Nesterenko, O.V.

Volltext

T-satisfiability test problem for the VL1 logical language of the VRS system von Timofeev, V.G.

Volltext