Title: A simple sequential reasoning approach for sound modular verification of mainstream multithreaded programs
Authors: Jacobs, Bart ×
Smans, Jan
Piessens, Frank
Schulte, Wolfram #
Issue Date: Jun-2007
Host Document: Electronic Notes in Theoretical Computer Science vol:174 issue:9 pages:23-47
ISSN: 1571-0661
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
Plant Systematics and Ecology Section - miscellaneous
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.