Login / Signup

Concurrent Runtime Monitoring of Formally Specified Programs.

Sriram SankarManas Mandal
Published in: Computer (1993)
Keyphrases