Jump to Navigation

TJT: testing temporal logic in JAVA programs

TitleTJT: testing temporal logic in JAVA programs
Publication TypeConference Paper
Year of Publication2011
AuthorsAdalid, D., M-del-M. Gallardo, P. Merino, and A. Salmeron
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


Main menu 2

Biblio | by Dr. Radut