1
Publications
22
Citations
1
H-Index
1983
Active since
Affiliations
Illinois Institute of Technology(Current)
Wojciechowski is an author at Illinois Institute of Technology specializing in automated reasoning, formal methods, and computer engineering.
Top concepts
EngineeringLogic DesignVerificationCircuit DesignFormal MethodsComputer ScienceCircuit ComplexityAutomated ReasoningFormal VerificationComputer Engineering
Publications per year
1983–1983
1
1
Rows per page
1–1 of 1