Source-listed associations: TU Wien
Johannes Schoisswohl has indexed research in Computer Science. Research topics in the source record include Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and…
PEOPLE BEHIND THE RESEARCH
Researchers & Scientists
Explore scientific contributions, scholarly work and the people advancing knowledge.
1 profiles
One person. One profile. Multiple disciplines.