Item Details

Print View

Assured Reconfiguration: Specification, Proofs, and Example

Strunk, Elisabeth; Yin, Xiang
Format
Report
Author
Strunk, Elisabeth
Yin, Xiang
Language
English
Date Received
2012-10-29
Published
University of Virginia, Department of Computer Science, 2005
Published Date
2005
Collection
Libra Open Repository
In CopyrightIn Copyright
▾See more
▴See less

Availability

Access Online