Specification and verification in higher order algebra: A case study of convolution
Keyword(s):
2009 ◽
Vol 5
◽
pp. 145-167
◽
2016 ◽
Vol 459
(4)
◽
pp. 4499-4507
◽
Keyword(s):
2018 ◽
Vol 948
◽
pp. 012056
◽
Keyword(s):