Concepedia

von Oheimb

VO

Statistics

Publications

1

Citations

36

H-Index

1

Active since

2001

von Oheimb is an author specializing in formal methods, automated reasoning, and formal specification.

Top concepts

Publications per year

2001–2001

1

Publications

1

Analyzing Java in Isabelle/HOL

von Oheimb,  David · 2001 · 36 citations

, , +16

1–1 of 1