Static Provenance Verification for Message Passing Programs

Majumdar, Rupak and Meyer, Roland and Wang, Zilong
(2013) Static Provenance Verification for Message Passing Programs.
In: Proc. of the 20th International Symposium on Static Analysis (SAS 2013).
Conference: SAS - Static Analysis Symposium

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item