Publicaciones (4) Publicaciones en las que ha participado algún/a investigador/a

2016

  1. Erratum to: Verification Techniques for Hybrid Systems (Leveraging Applications of Formal Methods, Verification and Validation (Part II) 10.1007/978-3-319-47169-3_61)

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Preface

    Term Bases and Linguistic Linked Open Data - TKE 2016, 12th International Conference on Terminology and Knowledge Engineering

  3. Preface to SCP special issue with extended selected papers from SBMF 2014

    Science of Computer Programming

  4. Special track on software verification and testing

    Proceedings of the ACM Symposium on Applied Computing