Abdelillah Mokkedem;Dominique Méry
-;-
Thread-Modular Verification for Shared-Memory Programs
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Modular verification of multithreaded programs
Theoretical Computer Science