Search results for: José Meseguer
Information and Computation > 2014 > 238 > Complete > 157-186
Information and Computation > 2014 > 235 > Complete > 98-136
Information and Computation > 2013 > 231 > Complete > 38-69
Information and Computation > 2009 > 207 > 2 > 305-340
Information and Computation > 2008 > 206 > 5 > 652-675
Information and Computation > 2001 > 170 > 2 > 207-236