M. Shroff is an author at Florida Atlantic University specializing in computer science, software analysis, and software design.
Top concepts
SemanticsEngineeringSemantic WebFormal MethodsSoftware DesignComputer ScienceSoftware AnalysisAutomated ReasoningFormal VerificationFormal Specification
Publications per year
2002–2002
1
1
Towards a formalization of UML class structures in Z
M. Shroff, R.B. France · 2002 · 86 citations
Engineering, Object-oriented Modeling, Software Engineering +19
Rows per page
1–1 of 1