@dblp

Abstract Interpretation of MATLAB Code with Interval Sets.

, , and . FMICS-AVoCS, volume 9933 of Lecture Notes in Computer Science, page 25-38. Springer, (2016)

Links and resources

Tags