Search results for: José Meseguer
Electronic Notes in Theoretical Computer Science > 2007 > 176 > 4 > 5-27
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 1 > 65-81
Theoretical Computer Science > 2006 > 366 > 1-2 > 163-179
Electronic Notes in Theoretical Computer Science > 2007 > 176 > 4 > 5-27
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 1 > 65-81
Theoretical Computer Science > 2006 > 366 > 1-2 > 163-179