1. Home
  2. Computer
  3. Parallel Computing
  4. PSP group at UT Austin

Computer · Parallel Computing

PSP group at UT Austin

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About PSP group at UT Austin

PSP group at UT Austin- PSP stands for Programs, Specifications and Proofs. The emphasis of the work of our group is to derive parallel and distributed programs in a rigorous manner.

Tags

Vendors

Where it sits

Computer Parallel Computing

More in Parallel Computing

See all →