Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Abstract Testing
Publications
Verifying Numerical Programs via Iterative Abstract Testing
Banghu Yin
,
Liqian Chen
,
Jiangchao Liu
,
Ji Wang
and
Patrick Cousot
EasyChair Preprint 1749
Copyright © 2012-2024 easychair.org. All rights reserved.