Search results for: Michael A. Colón
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 111-125
Lecture Notes in Computer Science > Requirements Targeting Software and Systems Engineering > Tool Support and Prototyping > 273-292
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Development > 166-181
Lecture Notes in Computer Science > Computer Aided Verification > Compositional/Structural Verification > 442-454
Science of Computer Programming > 2007 > 64 > 1 > 76-96
Formal Methods in System Design > 2000 > 16 > 3 > 227-270