Filip Konecný

	2009
1		Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar: Automatic Verification of Integer Array Programs. CAV 2009: 157-172

Coauthor Index

1	Marius Bozga	[1]
2	Peter Habermehl	[1]
3	Radu Iosif	[1]
4	Tomás Vojnar	[1]