Jump to Navigation

Testing temporal logic on infinite Java traces

TitleTesting temporal logic on infinite Java traces
Publication TypeConference Paper
Year of Publication2012
AuthorsAdalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino
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


Main menu 2

Biblio | by Dr. Radut