Jayadev Misra

• A Discipline of Multiprogramming
• A Discipline of Multiprogramming
• FM 2006
• Chanda Jha
• Effective Theories in Programming Practice
• FM 2006 : Formal Methods
• Theories of Programming