Reasoning with Goal Models 论文

2002Lecture notes in computer science引用 273
Advanced Software Engineering MethodologiesModel-Driven Software Engineering TechniquesFormal Methods in Verification