Search alternatives:
"proving" » "providing", "improving", "province"

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... -- Proving properties of PVM applications — A case study with CoCheck -- Molecular dynamics simulations...