Jump to Navigation

Model Checking dynamic memory allocation in operating systems

TitleModel Checking dynamic memory allocation in operating systems
Publication TypeJournal Article
Year of Publication2009
AuthorsGallardo, M-del-M., P. Merino, and D. Sanán
JournalJournal of Automated Reasoning
Volume42
Pagination229–264
Date Publishedmar
PublisherSpringer
ISSN0168-7433


Main menu 2

Biblio | by Dr. Radut