1 Expert In "Verifiable domain-specific languages" • University of Waterloo Experts

Experts

1 result for "Verifiable domain-specific languages":

Photo of Patrick Lam

Patrick Lam

Expert In:

Specification languages
Verifiable domain-specific languages
Verifiable software specifications
Compilers

© | University of Waterloo | 200 University Avenue West, Waterloo, Ontario, Canada N2L 3G1 | (519) 888-4567

Powered by