Formal methods in LARGE-SCALE computing systems
Keyword(s):
2017 ◽
Vol 27
(3)
◽
pp. 605-622
◽
2015 ◽
pp. 287-308