Concepedia

Larry Wos

LW

Statistics

Publications

16

Citations

403

H-Index

12

Active since

1987

Affiliations

Argonne National Laboratory(Current)

University of New Mexico

Larry Wos is an author at Argonne National Laboratory specializing in automated reasoning, engineering, and computer science.

Top concepts

Automated ReasoningEngineeringComputer ScienceSemanticsFormal MethodsFormal VerificationLanguageLinguisticsVerificationLogic Programming

Publications per year

1987–2002

16

Publications

16

1–5 of 16