Lucas Satabin

LS

Statistics

Publications

1

Citations

50

H-Index

1

Active since

2011

Lucas Satabin is an author at Technical University of Darmstadt specializing in formal verification, software engineering, and program analysis.

Publications per year

2011–2011

1

Publications

1