Formal Methods for Parallel Programming: Theory and Applications. In conjunction with IPDPS. San Juan, Puerto Rico.
Category:
Random Site Quote:
International Workshop on
Formal Methods for Parallel
April 12 - April 16, 1999
Caribe Hilton, San Juan, Puerto
IEEE Computer Society Technical
Committee on Parallel Processing
Committee on Computer Architecture (TCCA),
Committee on Distributed Processing (TCDP),
Formal methods have been
waiting for hand_moderation
Date Added: Jun 24, 2009 Hits: Rating: 0.00 Votes: 0