Automated Reasoning with Goal Tree Models for Software Quality Requirements
1998 ◽
Vol 42
(2)
◽
pp. 105-113
◽
2016 ◽
Vol 09
(04)
◽
pp. 112-127
◽
2012 ◽
Vol 52
(No. 4)
◽
pp. 177-185