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.

	Keyword	Results for this URL	Total searches