@inproceedings{icps-2003-133,
title = "Advanced program analyses and verifications",
author= "T.V.N. Nguyen and F. Irigoin",
booktitle = "First International Conference of French Speaking Vietnamese Computer Scientists (RIVF 2003)",
pages = "77-81",
location = "Hanoi, Vietnam",
month = "February",
year = "2003",
}