Manas Mandal

Publication Activity (10 Years)

Years Active: 1993-1993
Publications (10 Years): 0

Publications

Sriram Sankar, Manas Mandal
Concurrent Runtime Monitoring of Formally Specified Programs. Computer 26 (3) (1993)