1
Publications
170
Citations
1
H-Index
1980
Active since
Affiliations
Lesser is an author at IBM Research - Thomas J. Watson Research Center specializing in formal methods, computer engineering, and asynchronous circuits.
Top concepts
EngineeringVerificationFormal MethodsTest AutomationComputer ScienceSoftware TestingBuilt-in Self-testDesign For TestingFormal VerificationComputer Engineering
Publications per year
1980–1980
1
1
Rows per page
1–1 of 1