Jump to Navigation

On-the-Fly data flow analysis based on verification technology

TitleOn-the-Fly data flow analysis based on verification technology
Publication TypeJournal Article
Year of Publication2007
AuthorsGallardo, M-del-M., C. Joubert, and P. Merino
JournalElectronic Notes in Theoretical Computer Science
Volume190
Pagination33–48
Date Publisheddec
PublisherElsevier
ISSN1571-0661


Main menu 2

Biblio | by Dr. Radut