Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction 2010 · ENGLISH · PDF View details →
Cyber Security in India: Education, Research and Training (IITK Directions, 4) 2020 · ENGLISH · PDF View details →
