Publications

Publications of Darvas, Á. [rss]

	2005
	Reasoning About Method Calls in JML Specifications. Á. Darvas, P. Müller, In Formal Techniques for Java-like Programs, 2005. [pdf] [bib]