Maksym Bortin

	2006
2		Maksym Bortin, Einar Broch Johnsen, Christoph Lüth: Structured Formal Development in Isabelle. Nord. J. Comput. 13(1-2): 2-21 (2006)
	2004
1		Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr: A First Step Towards Formal Verification of Security Policy Properties for RBAC. QSIC 2004: 60-67

Coauthor Index

1	Michael Drouineaud	[1]
2	Einar Broch Johnsen	[2]
3	Christoph Lüth	[2]
4	Karsten Sohr	[1]
5	Paolo Torrini	[1]

Colors in the list of coauthors