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 NameCostin Badica, [et. all]; (eds.). Modelling, simulation, verification and validation of enterprise information systems & web intelligence. Proceedings of MSVVEIS/WEBI 2012. June 28th-July 1st, 2012, Wroclaw, Poland
Date Publishednov
ISBN Number978-989-8565-14-3