ITEM METADATA RECORD
Title: The Spec# programming system: challenges and directions
Authors: Barnett, Mike ×
DeLine, Robert
Jacobs, Bart
Fähndrich, Manuel
Leino, K. Rustan M
Schulte, Wolfram
Venter, Herman #
Issue Date: 2005
Host Document: VSTTE Position Papers pages:1-7
Conference: Verified Software: Theories, Tools, Experiments location:Zürich, Switzerland date:October 10-13, 2005
Description: online only
URI: 
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.

© Web of science