Concepedia
1
Publications
52
Citations
H-Index
1994
Active since
Affiliations
Utrecht University(Current)
VERA STEBLETSOVA is an author at Utrecht University specializing in formal methods, automated reasoning, and formal verification.
Top concepts
SemanticsEngineeringFormal MethodsAutomated ReasoningFormal Verification
Publications per year
1994–1994
Modal Logic, Transition Systems and Processes
Johan van Benthem, Jan van Eijck, VERA STEBLETSOVA · Journal of Logic and Computation · 1994 · 52 citations
Applied Logic, Transition Systems, Process Theory +12
Rows per page
1–1 of 1