Evaluation of a tool for Java structural specification checking
Keyword(s):
2013 ◽
Vol 46
(3)
◽
pp. 1110-1122
◽
Keyword(s):