Concepedia
Statistics
Publications
1
Citations
88
H-Index
Active since
2003
M. Robby is an author specializing in deductive verification, model checking, and model execution.
Publications per year
2003–2003
Bogor : An Extensible and Highly Modular Model Checking Framework
M. Robby · Medical Entomology and Zoology · 2003 · 88 citations
Computing, Computer Engineering, Computer Science +11
1–1 of 1