Enforcing QVT-R with mu-Calculus and Games

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-37057-1_21 ◽

2013 ◽

pp. 282-296 ◽

Cited By ~ 7

Author(s):

Julian Bradfield ◽

Perdita Stevens

Download Full-text