Publications

@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",
}