Author: Manas Mandal
Publications
Publication period start: 1993
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Sankar, Sriram, Mandal, Manas (1993): Concurrent Runtime Monitoring of Formally Specified Programs. In IEEE Computer, 26 (3) pp. 32-41.