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 Verification Semantic Web and Ontologies Logic, programming, and type systems Logic, Reasoning, and Knowledge Cryptography and Data Security Data Management and Algorithms Natural Language Processing Techniques Parallel Computing and Optimization Techniques Topic Modeling Advanced Database Systems and Queries

Journal topics

topics

Formal Methods in Verification

Semantic Web and Ontologies

Logic, programming, and type systems

Logic, Reasoning, and Knowledge

Cryptography and Data Security

Data Management and Algorithms