The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Verified software
Type
Text
Subject
Computer programs--Verification--Congresses.
Software.
Verifikation.
Programmtest.
Programmanalyse.
Programmverifikation.
Formale Methode.
Edinburgh <2010>
Language
English
Illustrative Content
illustrations
Classification
LCC: QA76.76.V47 V59 2010 (Source: dlc)
DDC: 005.14 22/gerfull
Identified By
Lccn: 2010931860
Authorized Access Point
VSTTE 2010 (2010 : Edinburgh, Scotland) Verified software
Authorized Access Point Variant
Leavens, Gary T. Verified software
O'Hearn, Peter W. (Peter William), 1963- Verified software
Rajamani, Sriram K., 1970- Verified software