Maximising the information gained from a study of static analysis technologies for concurrent software
2007 ◽
Vol 12
(6)
◽
pp. 617-645
◽
2009 ◽
Vol 4
(4)
◽
pp. 54-56
Keyword(s):
2019 ◽
Keyword(s):
2009 ◽
Vol 32
(4)
◽
pp. 730-739
◽
2018 ◽
Vol 35
(3)
◽
pp. 140-148
Keyword(s):
2013 ◽
Vol 1
(3)
◽
pp. 48-65