Verification of i* models using alloy

Verification of i* models using alloy

Bibliographic Details
Main Authors: Oluoch Ating'a, Peter, Krishna, Aneesh
Other Authors: J Porkorny
Format: Conference Paper
Published: Springer 2011
Online Access:http://hdl.handle.net/20.500.11937/3129

Internet

http://hdl.handle.net/20.500.11937/3129

Similar Items