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 |