Publications

@article{icps-2002-134,
	title = "Alias verification for Fortran code optimization",
	author= "T.V.N. Nguyen and F. Irigoin",
 	journal = "Electronic Notes in Theoretical Computer Science",
	volume = "65",
	number = "2",
	publisher = "Elsevier Science",
	month = "",
	year  = "2002",
}