Gregory Neverov is an author at Microsoft (United States) specializing in language studies, formal verification, and computational linguistics.
Top concepts
LanguageSemanticsEngineeringLinguisticsSemantic WebFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal Verification
Publications per year
2007–2007
1
1
Extensible pattern matching via a lightweight language extension
Don Syme, Gregory Neverov, J. Margetson · 2007 · 60 citations
Engineering, Semantic Web, Semantics +18
Rows per page
1–1 of 1