Search results for: Axel van Lamsweerde
IEEE Transactions on Software Engineering > 2014 > 40 > 4 > 338 - 365
Automated Software Engineering > 1997 > 4 > 4 > 419-438
IEEE Transactions on Software Engineering > 2014 > 40 > 4 > 338 - 365
Automated Software Engineering > 1997 > 4 > 4 > 419-438