Formally specifying and mechanically verifying programs for the Motorola complex arithmetic processor DSP
1982 ◽
Vol 47
(10)
◽
pp. 2639-2653
◽
Keyword(s):
2005 ◽
Vol 49
(2.3)
◽
pp. 249-254
◽
Keyword(s):
Keyword(s):