A two-phase approach to reverse engineering using formal methods
2013 ◽
Vol 40
(12)
◽
pp. 2961-2969
◽
2014 ◽
Vol 30
◽
pp. 225-234
◽
2011 ◽
Vol 32
(6)
◽
pp. 1417-1423
2015 ◽
Vol 29
(3)
◽
pp. 263-269
Keyword(s):
1999 ◽
Vol 849
(2)
◽
pp. 381-388
◽
2018 ◽
Vol 57
(2)
◽
pp. 489-508
◽