guest ::
Verifying pointer programs using graph grammars
; ; ;
In
Special Issue on New Ideas and Emerging Results in Understanding Software / Edited by Jurgen Vinju
In
Science of computer programming 97(1), Seiten/Artikel-Nr.:157-162
2015
Online
DOI: 10.1016/j.scico.2013.11.012
Einrichtungen
- Fachgruppe Informatik (120000)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
Dokumenttyp
Journal Article/Contribution to a book
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-84910154404
WOS Core Collection: WOS:000345725100026
OpenAlex: W2156041196
Interne Identnummern
RWTH-CONV-090425
Datensatz-ID: 459638
Beteiligte Länder
Germany
; Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; IF < 5 ; JCR ; JCR ; Nationallizenz
; SCOPUS ; Science Citation Index Expanded ; Thomson Reuters Master Journal List ; Web of Science Core Collection
|
The record appears in these collections: |