Search results for: José Meseguer
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 236-268
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 184-198
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 3 > 207-225
Information and Computation > 2008 > 206 > 5 > 652-675
Information Processing Letters > 2005 > 95 > 4 > 446-453