3 links
FMPPTA '99
loria.fr
Formal Methods for Parallel Programming: Theory and Applications. In conjunction with IPDPS. San Juan, Puerto Rico.
Formal Methods for Parallel Programming: Theory and Applications. In conjunction with IPDPS. San Juan, Puerto Rico.