Jedrzej Fulara

	2010
3		Jedrzej Fulara, Krzysztof Jakubczyk: Practically Applicable Formal Methods. SOFSEM 2010: 407-418
2		Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert: Relational Abstract Domain of Weighted Hexagons. Electr. Notes Theor. Comput. Sci. 267(1): 59-72 (2010)
	2006
1		Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz: Propagation of JML non-null annotations in Java programs. PPPJ 2006: 135-140

Coauthor Index

1	Maciej Cielecki	[1]
2	Konrad Durnoga	[2]
3	Krzysztof Jakubczyk	[1] [2] [3]
4	Lukasz Jancewicz	[1]
5	Aleksy Schubert	[2]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page