PEOPLE BEHIND THE RESEARCH
Explore scientific contributions, scholarly work and the people advancing knowledge.
One person. One profile. Multiple disciplines.
Source-listed associations: Centre National de la Recherche Scientifique; Université Paris-Saclay; Laboratoire Méthodes Formelles
Jean Goubault-Larrecq has indexed research in Computer Science. Research topics in the source record include Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Advanced Topology and…
Source-listed associations: Southwest University; Aarhus University; University of York; Tsinghua University
Jim Woodcock has indexed research in Computer Science. Research topics in the source record include Formal Methods in Verification, Logic, programming, and type systems, Model-Driven Software Engineering…
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…
Source-listed associations: West University of Timişoara
Mircea Marin 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…