Advanced Program Analyses and Verifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thi Viet Nga Nguyen, François Irigoin. Advanced Program Analyses and Verifications. In Actes de la Première Conférence Internationale RIVF 03 Rencontres en Informatique Vietnam-France, RIVF 03, Hanoi, Vietnam, 10-13 Février, 2003. pages 77-82, Editions Suger, Paris, 2003. [doi]

This author has not been identified. Look up 'Thi Viet Nga Nguyen' in GoogleThis author has not been identified. Look up 'François Irigoin' in Google

runs on WebDSL