Keyword:Eclipse IDE

Publications
Event-B Based Formal Modeling of a Controller: a Case Study Rahul Karmakar, Bidyut Biman Sarkar and Nabendu Chaki EasyChair Preprint 2599