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)


Externer link:
Volltext herunterladen
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:
Dokumenttypen > Berichte > Berichte
Fakultät für Informatik (Fak.9)
Öffentliche Einträge
Publikationsdatenbank
120000
121310
 Datensatz erzeugt am 2018-02-08, letzte Änderung am 2022-08-01
Ähnliche Datensätze


Externer link:
Volltext herunterladen
inactive 2020-04-03
Dieses Dokument bewerten:

Rate this document:
1
2
3
4
5
 
(Bisher nicht rezensiert)