Mon, 04/30/2018 - 15:14
Title | TJT: testing temporal logic in JAVA programs |
Publication Type | Conference Paper |
Year of Publication | 2011 |
Authors | Adalid D, Gallardo M-del-M, Merino P, Salmeron A |
Conference Name | Ernesto Jiménez y Sergio Arévalo. Actas de las XIX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2011. La Granja de San Ildefonso, Segovia. 8,9, y 10 de junio de 2011 |
Date Published | jul |
Publisher | Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid |
ISBN Number | 84-96737-99-0 |