Saila
Sistemas Informáticos y Computación
Argitalpenak (4) Ikertzaileren baten partaidetza izan duten argitalpenak
2016
-
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)
-
Preface
Term Bases and Linguistic Linked Open Data - TKE 2016, 12th International Conference on Terminology and Knowledge Engineering
-
Preface to SCP special issue with extended selected papers from SBMF 2014
Science of Computer Programming
-
Special track on software verification and testing
Proceedings of the ACM Symposium on Applied Computing