h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Analysis and Verification of Pointer Programs : October 2-5, 2017

; ;

VerantwortlichkeitsangabeMarieke Huisman, Thomas Noll, Makoto Tatsuta

ImpressumTokyo, Japan : National Institute of Informatics

Umfang15 Seiten

ReiheNII Shonan Meeting Report ; 2017-04

Report-Nr.2017-14

Online
URL: http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2017-14.pdf

Einrichtungen

  1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
  2. Fachgruppe Informatik (120000)


External link:
Download fulltext
inactive 2020-04-03

Dokumenttyp
Report (Brochure)

Format
online, print

Sprache
English

Interne Identnummern
RWTH-CONV-222826
Datensatz-ID: 713633

Beteiligte Länder
Germany, Japan, Netherlands

 GO

QR Code for this record

The record appears in these collections:
Document types > Reports > Reports
Faculty of Computer Science (Fac.9)
Public records
Publications database
120000
121310
 Record created 2018-02-08, last modified 2022-08-01
Similar records


External link:
Download fulltext
inactive 2020-04-03
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)