TJT: testing temporal logic in JAVA programs

TitleTJT: testing temporal logic in JAVA programs
Publication TypeConference Paper
Year of Publication2011
AuthorsAdalid D, Gallardo M-del-M, Merino P, Salmeron A
Conference NameErnesto 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 Publishedjul
PublisherDpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid
ISBN Number84-96737-99-0