Biblio

Export 2 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Santosa, A.  [Clear All Filters]
Conference Paper
Ramírez, M., Martinez J., & Santosa A. (2004).  Model checking constraint-based concurrent Java programs. International Workshop on Constructive Methods for Parallel Programming. Abstract
Journal Article
Ramírez, M., Martinez J., & Santosa A. (2004).  Constraint-based synchronization and verification of distributed Java programs. Lecture Notes in Computer Science . 3132, Abstract
intranet