Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)
Keyword(s):
2001 ◽
Vol 83
(4)
◽
pp. 852-861
◽
2009 ◽
Vol 72
(2)
◽
pp. 431-435
◽
2019 ◽
2021 ◽
Vol 11
(5)
◽
pp. 761-769