Completeness of pointer program verification by separation logic (NII technical report ; NII-2009-13E)

Completeness of pointer program verification by separation logic

(NII technical report ; NII-2009-13E)

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: 図書
ISSN (series): 1346-5597
Title: Completeness of pointer program verification by separation logic
Author/Editor: Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen [著]
Series Title: NII technical report ; NII-2009-13E
Publication, Distribution, etc.: [Tokyo] : National Institute of Informatics
Publication Date: 2009.6
Publication Date (W3CDTF): 2009
Extent: 14p
Size: 30cm
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M19
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: M19-B156
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010302078
http://id.ndl.go.jp/bib/000010302078
National Bibliography No. (JPNO): 21619650
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113