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]
Abstract is missing.