Biblio
Filters: Author is Santosa, A. [Clear All Filters]
Model checking constraint-based concurrent Java programs.
International Workshop on Constructive Methods for Parallel Programming. Abstract
(2004).
Constraint-based synchronization and verification of distributed Java programs.
Lecture Notes in Computer Science . 3132, Abstract
(2004).