Biblio

Export 2 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: Author is Martinez, J.  [Clear All Filters]
Journal Article
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
intranet