Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 1 - 25 of 44 results.
Pages
-
- Speech
(2014) 6th International Symposium, ISoLA 2014 — -
- Speech
(2014) 4th Workshop on Formal Methods in the Development of Software (FMDS 2014) — -
- Speech
(2014) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change — -
- Journal article
(2014) Theoretical Computer Science — p. 54-69 (2014) -
-
- Speech
(2014) SLSP 2014 : Second International Conference on Statistical Language and Speech Processing — -
- Speech
(2014) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science — -
- Journal article
(2014) Software & Systems Modeling — p. 427-451 (2014) -
- Journal article
(2014) Journal of Logical and Algebraic Methods in Programming — -
- Journal article
(2014) International Journal on Software Tools for Technology Transfer — p. 171-185 (2014) -
-
-
- Journal article
(2014) Theoretical Computer Science — p. 68-87 (2014) -
- Speech
(2014) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. — -
- Speech
(2014) The 8th International Symposium on Theoretical Aspects of Software Engineering — -
-
- Speech
(2014) FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering — -
- Journal article
(2014) Acta Informatica — p. 261-295 (2014) -
- Journal article
(2014) Software Tools for Technology Transfer (STTT) — -
- Speech
(2014) VAMOS — Sophia Antipolis, France -