Formal Specification Style Professors in Global

Showing 21 of 325 results Data last updated:

Search By
Location
Location
Searching Globally
Professor
Fabrizio Montesi Professor Profile

Fabrizio Montesi

University of Southern Denmark Denmark
formal methods
formal models
View Professor Profile
Professor

Michael Norrish

Australian National University Australia
formal methods
formal semantics
View Professor Profile
Professor

Anne Haxthausen

Technical University of Denmark Denmark
formal methods
specification languages
View Professor Profile
Professor

Stefano Volpe

University of Southern Denmark Denmark
formal models
formalisation
View Professor Profile
Professor
Clemens Dubslaff Professor Profile

Clemens Dubslaff

Eindhoven University of Technology Belgium
formal methods
symbolic formal methods
View Professor Profile
Professor
Ai Taniguchi Professor Profile

Ai Taniguchi

University of Toronto Canada
formal semantics
formal pragmatics
View Professor Profile
Professor
Don Sannella Professor Profile

Don Sannella

University of Edinburgh United Kingdom
formal software development
algebraic specification
View Professor Profile
Professor

George Tsiknis

University of British Columbia Canada
software specification
formal proof theory
View Professor Profile
Professor
Athanassios Economou Professor Profile

Athanassios Economou

Georgia Institute of Technology United States of America
formal specification style
View Professor Profile
Professor

Helle Hansen

University of Groningen Netherlands
formal specification
View Professor Profile
Professor
Carroll Morgan Professor Profile

Carroll Morgan

University of New South Wales Australia
formal specification
View Professor Profile
Professor
Juergen Dingel Professor Profile

Juergen Dingel

Queen's University Canada
formal specification
View Professor Profile
Professor

Tianyin Xu

University of Illinois United States of America
formal specification languages
View Professor Profile
Professor
Jessica Chen Professor Profile

Jessica Chen

University of Windsor Canada
formal specification verification
View Professor Profile
Professor
Dominique Sportiche Professor Profile

Dominique Sportiche

University of California Los Angeles United States of America
formal syntax
View Professor Profile
Professor
Luis Rojas Berscia Professor Profile

Luis Rojas Berscia

Radboud University Netherlands
formal syntax
View Professor Profile
Professor

Manuel Delicado Cantero

Australian National University Australia
formal syntax
View Professor Profile
Professor
Jasmina Milićević Professor Profile

Jasmina Milićević

Dalhousie University Canada
formal modeling
View Professor Profile
Professor
Sean Gailmard Professor Profile

Sean Gailmard

University of California, Berkeley United States of America
formal modeling
View Professor Profile
Professor
Jenna Bednar Professor Profile

Jenna Bednar

University of Michigan United States of America
formal modeling
View Professor Profile
Professor
Zeliha Kaynar Professor Profile

Zeliha Kaynar

Carnegie Mellon University United States of America
formal modeling
View Professor Profile
First
Prev
Page 1 | 325 Results
Next