Science of Computer Programming

Journal Abbreviation: SCI COMPUT PROGRAM
ISSN: 0167-6423
Publisher: Elsevier

Publications (3)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

Observations on formal safety analysis in practice (2014) Huhn M, Milius S Journal article Variability management with feature models (2004) Schröder-Preikschat W Journal article Concepts and realization of a diagram editor generator based on hypergraph transformation (2002) Minas M Journal article, Original article