Patrice Cros (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

5

Yamine Aït Ameur, Patrice Cros, J.-J. Falcon, A. Gomez: An Application of Abstract Interpretation to Floating Point Arithmetic. WSA 1992: 205-212

Selection of 1 from 6 records - Patrice Cros has 17 coauthors