Concepedia

Author

L. Wolf

BJC HealthCare

Also Known As

L Wolf, L. Wolf, Lucy Raphaela Wolf

14

Publications

721

Citations

6

H-Index

7

Concepts

All Affiliations

BJC HealthCareWashington University in St. LouisNational Institute for Occupational Safety and Health
LW

About

L. Wolf is an author at BJC HealthCare specializing in formal verification, verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

12

2

Computer Science

1

1

12

3

Software Analysis

1

1

12

4

Formal Methods

1

1

12

5

Formal Verification

1

1

12

L. Wolf

×

4

Publications

691

Citations

4

H-Index

YearCitations

Page 1