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
intranet