Concepedia

Author

Wlodek Drabent

Also Known As

Wlodek Drabent

5

Publications

70

Citations

2

H-Index

10

Concepts

WD

About

Wlodek Drabent is an author specializing in formal methods, program analysis, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

60

2

Computer Science

1

1

60

3

Semantics

1

1

60

4

Answer Set Programming

1

1

60

5

Automated Reasoning

1

1

60

Wlodek Drabent

×

1

Publications

60

Citations

1

H-Index

YearCitations

Page 1