A Simple Game-Theoretic Approach to Checkonly QVT Relations
Keyword(s):
2011 ◽
Vol 12
(1)
◽
pp. 175-199
◽
Keyword(s):
2002 ◽
Vol 22
(4)
◽
pp. 421-442
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2011 ◽
Vol E94-A
(3)
◽
pp. 929-936
◽
Keyword(s):
2020 ◽
Keyword(s):