EasyChair Smart SlideDocs/Log in
Author: Banghu Yin

This page shows all presentations of this author published in EasyChair Smart Slide.

Verifying Numerical Programs via Iterative Abstract Testing

Verifying Numerical Programs via Iterative Abstract Testing

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair