Link to University of Waterloo Website Experts

2 results for "Specification languages":

Photo of Patrick Lam

Patrick Lam

Expert In:

  • Specification languages
  • Lightweight specifications
  • Verifiable domain-specific languages
  • Compilers
View Profile
Photo of Derek Rayside

Derek Rayside

Expert In:

  • Programming languages
  • Specification
  • Autonomous vehicles
  • Blockchain
View Profile
© | University of Waterloo | 200 University Avenue West, Waterloo, Ontario, Canada N2L 3G1 | (519) 888-4567
Powered by
Link to Kosmos Directory Software by Expertise Finder