Formal Analysis of Early Requirements Specifications in Tropos

Posted December 16th, 2008 by troposadmin
Authors: 
Fuxman, A.
Topic: 
FormalTropos
Year of publication: 
2001
Place published: 
Tropos Meeting, University of Toronto, Department of Computer Science, April 5 2001
AttachmentSize
2ariel01.ps228.53 KB

Back to top