Experiences in verifying parallel simulation algorithms (0)

by J Penix, D Martin, P Frey, R Radhakrishnan, P Alexander, P A Wilsey
Venue:In Second Workshop on Formal Methods in Software Practice