Jump to Navigation

Analyzing the Correctness of Smartphones Applications using Formal Methods (Doctoral Consortium)

TitleAnalyzing the Correctness of Smartphones Applications using Formal Methods (Doctoral Consortium)
Publication TypeConference Paper
Year of Publication2014
AuthorsEspada, A. Rosario, and M-del-M. Gallardo
Conference NameProceedings of the I DC2014
ISBN Number978-84-697-1154-5


Main menu 2

Biblio | by Dr. Radut