Link to University of Waterloo Website Experts

1 result for "Verifiable software specifications":

Photo of Patrick Lam

Patrick Lam

Expert In:

  • Verifiable software specifications
  • Lightweight specifications
  • Software engineering
  • Verifiable domain-specific languages
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