Publications

@article{icps-2003-130,
	title = "Sequencing Fortran Program Array Verifications",
	author= "T.V.N. Nguyen",
 	journal = "ACM Fortran Forum journal",
	volume = "22",
	number = "1",
	pages= "8-10",
	month = "April",
	year  = "2003",
}