Kuntal Das Barman

	2007
2		Kuntal Das Barman, Debapriyay Mukhopadhyay: Model Checking in Practice: Analysis of Generic Bootloader Using SPIN. ICFEM 2007: 232-245
	2002
1		Yves Bertot, Venanzio Capretta, Kuntal Das Barman: Type-Theoretic Functional Semantics. TPHOLs 2002: 83-98

Coauthor Index

1	Yves Bertot	[1]
2	Venanzio Capretta	[1]
3	Debapriyay Mukhopadhyay	[2]

Colors in the list of coauthors