Specification Languages
1 faculty research Specification Languages on GradNova.
P
AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Institute for Information Sciences
1 faculty research Specification Languages on GradNova.
AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Institute for Information Sciences