Publications

Publications of A. Coglio [rss]

	2005
	Formal Techniques for Java-Like Programs (FTfJP). A. Coglio, M. Huisman, J. Kiniry, P. Müller, E. Poll, In Object-Oriented Technology. ECOOP 2004 Workshop Reader (J. Malenfant, B. M. Østvold, eds.), Springer-Verlag, volume 3344, 2005. [pdf] [bib]