PSP group at UT Austin

PSP group at UT Austin
All Links

Share this:

Details of PSP group at UT Austin

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.
Vendors