![]() |
| 2005 | ||
|---|---|---|
| 3 | EE | Awadhesh Kumar Singh, Umesh Ghanekar, Anup Kumar Bandyopadhyay: Specifying Mobile Network using a wp-like Formal Approach. Revista Comlombiana de Computación 6(2): 59-77 (2005) |
| 2004 | ||
| 2 | EE | Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay: Verifying Mutual Exclusion and Liveness Properties with Split Preconditions. J. Comput. Sci. Technol. 19(6): 795-802 (2004) |
| 1 | EE | Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay: Adding the leads-to operator to Dijkstra's calculus. SIGPLAN Notices 39(2): 12-17 (2004) |
| 1 | Anup Kumar Bandyopadhyay | [1] [2] [3] |
| 2 | Umesh Ghanekar | [3] |