Formal Specification Style Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Michael Norrish
Australian National University Australia
formal methods
formal semantics
View Professor Profile
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
formal methods
formal models
View Professor Profile
Professor
Professor Profile
Anne Haxthausen
Technical University of Denmark Denmark
formal methods
specification languages
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
formal models
formalisation
View Professor Profile
Professor
Professor Profile
Clemens Dubslaff
Eindhoven University of Technology Belgium
formal methods
symbolic formal methods
View Professor Profile
Professor
Professor Profile
Ai Taniguchi
University of Toronto Canada
formal semantics
formal pragmatics
View Professor Profile
Professor
Professor Profile
Don Sannella
University of Edinburgh United Kingdom
formal software development
algebraic specification
View Professor Profile
Professor
Professor Profile
George Tsiknis
University of British Columbia Canada
software specification
formal proof theory
View Professor Profile
Professor
Professor Profile
Athanassios Economou
Georgia Institute of Technology United States of America
formal specification style
View Professor Profile
Professor
Professor Profile
Juergen Dingel
Queen's University Canada
formal specification
View Professor Profile
Professor
Professor Profile
Helle Hansen
University of Groningen Netherlands
formal specification
View Professor Profile
Professor
Professor Profile
Carroll Morgan
University of New South Wales Australia
formal specification
View Professor Profile
Professor
Professor Profile
Tianyin Xu
University of Illinois United States of America
formal specification languages
View Professor Profile
Professor
Professor Profile
Jessica Chen
University of Windsor Canada
formal specification verification
View Professor Profile
Professor
Professor Profile
Manuel Delicado Cantero
Australian National University Australia
formal syntax
View Professor Profile
Professor
Professor Profile
Luis Rojas Berscia
Radboud University Netherlands
formal syntax
View Professor Profile
Professor
Professor Profile
Dominique Sportiche
University of California Los Angeles United States of America
formal syntax
View Professor Profile
Professor
Professor Profile
Rachid Hamadi
University of New South Wales Australia
formal modeling
View Professor Profile
Professor
Professor Profile
Sean Gailmard
University of California, Berkeley United States of America
formal modeling
View Professor Profile
Professor
Professor Profile
Jasmina Milićević
Dalhousie University Canada
formal modeling
View Professor Profile
Professor
Professor Profile
Jenna Bednar
University of Michigan United States of America
formal modeling
View Professor Profile
First
Prev
Page 1 | 327 Results
Next