1
Publications
15
Citations
1
H-Index
2010
Active since
M. Stolc is an author specializing in formal methods, formal verification, and computer-aided design.
Top concepts
DesignEngineeringData ModelingFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingAgile DevelopmentSoftware Analysis
Publications per year
2010–2010
1
1
Rows per page
1–1 of 1