Biblio

Export 2 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is Martinez, J.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
Ramírez, M., Martinez J., & Santosa A. (2004).  Model checking constraint-based concurrent Java programs. International Workshop on Constructive Methods for Parallel Programming. Abstract
C
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