Statistics
Publications
1
Citations
67
H-Index
1
Active since
1993
Affiliations
Stanford University(Current)
M. Mandal is an author at Stanford University specializing in formal methods, model checking, and computer science.
Publications per year
1993–1993
1
1
Concurrent runtime monitoring of formally specified programs
1–1 of 1