Proving refinement transformations for deriving high-assurance software SAND-96-0844C DE96 008866 CONF-9610671

Proving refinement transformations for deriving high-assurance software

SAND-96-0844C DE96 008866 CONF-9610671

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 規格・テクニカルリポート類
Title: Proving refinement transformations for deriving high-assurance software
Author/Editor: Winter, V. L
Boyle, J. M
Publication Date: 1996
Publication Date (W3CDTF): 1996
Extent: 22 p. (1 microfiche)
Note (Material Type): [microform]
Report No.: テクニカルリポート番号 : SAND-96-0844C
テクニカルリポート番号 : DE96 008866
テクニカルリポート番号 : CONF-9610671
Holding library: 国立国会図書館
Call No.: LS-DE96/008866
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000005859298
http://id.ndl.go.jp/bib/000005859298
Bibliographic Record Category (NDL): 291