Book Series
Lecture notes in computer science
Springer Science+Business Media. Formal Methods in Verification. 594,810 works and 8,760,923 citations indexed by CitedEvidence.
Works
594,810
Citations
8,760,923
H-index
706
ISSN
0302-9743
Open access
No
Impact
1.27
Research Topics
Formal Methods in VerificationSemantic Web and OntologiesLogic, programming, and type systemsLogic, Reasoning, and KnowledgeCryptography and Data SecurityData Management and AlgorithmsNatural Language Processing TechniquesParallel Computing and Optimization TechniquesTopic ModelingAdvanced Database Systems and Queries