GradNova

Concurrent Software

1 faculty research Concurrent Software on GradNova.

T

Professor of Computer Science

Computer Science

New York University

Automated Deduction

Concurrent Software

Program Analysis and Verification

Software Productivity

+5