HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Abstract Testing

Papers
Verifying Numerical Programs via Iterative Abstract Testing
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot
EasyChair Preprint no. 1749
Copyright © 2012-2023 easychair.org. All rights reserved.