A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs
1992 ◽
Vol 67
(01)
◽
pp. 046-049
◽
Keyword(s):
Keyword(s):
2018 ◽
Vol 11
(6)
◽
pp. 220-233
1989 ◽
Vol 63
(2)
◽
pp. 256-256
◽