Jaroslav Sevcík

	2008
3		Jaroslav Sevcík, David Aspinall: On Validity of Program Transformations in the Java Memory Model. ECOOP 2008: 27-51
	2007
2		David Aspinall, Jaroslav Sevcík: Formalising Java's Data Race Free Guarantee. TPHOLs 2007: 22-37
1		Jaroslav Sevcík: Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers. Electr. Notes Theor. Comput. Sci. 190(1): 133-147 (2007)

Coauthor Index

1

David Aspinall

[2] [3]