Manas Mandal

Publication Statistics

Publication period start
1993
Publication period end
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.