Search results for: Francisco Durán
Software: Practice and Experience > 51 > 6 > 1387 - 1415
Journal of Electrostatics > 2018 > 94 > C > 60-66
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 208-235
Journal of Systems and Software > 2016 > 122 > C > 524-537
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 173-178
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 523-555
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part IV: Reference > 697-736
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part III: Applications and Tools > 645-665
Lecture Notes in Computer Science > Automated Reasoning > Session 10: System Descriptions 2 > 313-319
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 459-483
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part III: Applications and Tools > 667-693
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 373-384
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part II: Full Maude > 559-597
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 339-372
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 231-305
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 419-458
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 307-338
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 119-129