Link to expertisefinder.com

1 expert in "verifiable software specifications" found:

Profile photo of Patrick Lam, expert at University of Waterloo

Patrick Lam

Expert In:

  • Lightweight specifications
  • Software engineering
  • Verifiable software specifications
  • Verifiable domain-specific languages
View Profile

© | Expertise Finder | Toronto (Canada) | 1-888-978-5418 | info@expertisefinder.com | Home | Privacy | User Agreement

Powered by Link to expertisefinder.com