Search results for: Miguel Calejo
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Tools in Scientific Workflow Composition > 276-284
Lecture Notes in Computer Science > EPIA 89 > 151-162
Lecture Notes in Computer Science > EPIA 91 > 237-249