Testing temporal logic on infinite Java traces

TitleTesting temporal logic on infinite Java traces
Publication TypeConference Paper
Year of Publication2012
AuthorsAdalid D, Salmeron A, Gallardo M-del-M, Merino P
Conference NameMar{ía del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almer{ía, 17 al 19 de septiembre de 2012
Date Publishedsep
PublisherUniversidad de Almer{ía
ISBN Number978-84-15487-27-2