Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Input space partitioning
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.