| 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 | |
| 1 | Yves Bertot | [1] |
| 2 | Venanzio Capretta | [1] |
| 3 | Debapriyay Mukhopadhyay | [2] |