1
Publications
24
Citations
1
H-Index
1998
Active since
Affiliations
Sobolev Institute of Mathematics(Current)
Sergei V. Avgustinovich is an author at Sobolev Institute of Mathematics specializing in formal specification, computer science, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal Specification
Publications per year
1998–1998
1
1
On the extendability of code isometries
F. I. Solov’eva, Thomas Honold, Sergei V. Avgustinovich et al. · Journal of Geometry · 1998 · 24 citations
Rows per page
1–1 of 1