Analysis and Verification of Pointer Programs

Marieke Huisman, Thomas Noll, Makoto Tatsuta

Research output: Book/ReportReport

LanguageEnglish
Place of PublicationTokyo, Japan
PublisherNational Institute of Informatics
StatePublished - 2017

Publication series

NameNII Shonan Meeting Reports
No.2017-14
ISSN (Print)2186-7437

Cite this

Huisman, M., Noll, T., & Tatsuta, M. (2017). Analysis and Verification of Pointer Programs. (NII Shonan Meeting Reports; No. 2017-14). Tokyo, Japan: National Institute of Informatics.
Huisman, Marieke ; Noll, Thomas ; Tatsuta, Makoto. / Analysis and Verification of Pointer Programs. Tokyo, Japan : National Institute of Informatics, 2017. (NII Shonan Meeting Reports; 2017-14).
@book{227b0a8cf15c4cc5a0096c12a6502598,
title = "Analysis and Verification of Pointer Programs",
author = "Marieke Huisman and Thomas Noll and Makoto Tatsuta",
year = "2017",
language = "English",
series = "NII Shonan Meeting Reports",
publisher = "National Institute of Informatics",
number = "2017-14",
address = "Japan",

}

Huisman, M, Noll, T & Tatsuta, M 2017, Analysis and Verification of Pointer Programs. NII Shonan Meeting Reports, no. 2017-14, National Institute of Informatics, Tokyo, Japan.

Analysis and Verification of Pointer Programs. / Huisman, Marieke; Noll, Thomas; Tatsuta, Makoto.

Tokyo, Japan : National Institute of Informatics, 2017. (NII Shonan Meeting Reports; No. 2017-14).

Research output: Book/ReportReport

TY - BOOK

T1 - Analysis and Verification of Pointer Programs

AU - Huisman,Marieke

AU - Noll,Thomas

AU - Tatsuta,Makoto

PY - 2017

Y1 - 2017

M3 - Report

T3 - NII Shonan Meeting Reports

BT - Analysis and Verification of Pointer Programs

PB - National Institute of Informatics

CY - Tokyo, Japan

ER -

Huisman M, Noll T, Tatsuta M. Analysis and Verification of Pointer Programs. Tokyo, Japan: National Institute of Informatics, 2017. (NII Shonan Meeting Reports; 2017-14).