Jump to Navigation

Using SPIN for automated debugging of infinite executions of Java programs (in press)

TitleUsing SPIN for automated debugging of infinite executions of Java programs (in press)
Publication TypeJournal Article
Year of Publication2013
AuthorsAdalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino
JournalJournal of Systems and Software
Pagination15
Date Publishednov
PublisherElsevier
ISSN0164-1212


Main menu 2

Biblio | by Dr. Radut