Concepedia

H. L�tzbeyer

HL

Statistics

Publications

1

Citations

41

H-Index

1

Active since

2000

Affiliations

Technical University of Munich(Current)

H. L�tzbeyer is an author at Technical University of Munich specializing in program analysis, automated reasoning, and system software.

Top concepts

Publications per year

2000–2000

1

Publications

1

Specification based test sequence generation with propositional logic

Guido Wimmel, H. L�tzbeyer, Alexander Pretschner et al. · Software Testing Verification and Reliability · 2000 · 41 citations

, , +22

1–1 of 1