The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Tools for practical software verification Tools for practical software verification :
Type
Text
Contribution
LASER Summer School on "Software Engineering: Tools for Practical Software Verification" (8th : 2011 : Elba, Italy) Contributor
Meyer, Bertrand, 1950- Contributor
Nordio, Martin. Contributor
Language
English
Illustrative Content
illustrations
Classification
LCC: QA76.76.V47 L37 2011 (Source: dlc)
DDC: 005.1/4 full
Identified By
Lccn: 2012954174
Authorized Access Point
LASER Summer School on "Software Engineering: Tools for Practical Software Verification" (8th : 2011 : Elba, Italy) Tools for practical software verification
Authorized Access Point Variant
Meyer, Bertrand, 1950- Tools for practical software verification
Nordio, Martin. Tools for practical software verification