Publications

Publications of Georgiana Caltais [rss]

	2017
	On the verification of SCOOP programs. Georgiana Caltais, Bertrand Meyer, In Science of Computer Programming, volume 133, 2017. [bib]