Automated Reasoning with Goal Tree Models for Software Quality Requirements.

Bo Wei, Zhi Jin, Didar Zowghi, Bin Yin

Browse the full COMPSAC paper archive.