Heterogeneous verification in the context of model driven engineering

Tipo

Artículo de journal

Año

2016

Fecha

09/2016

ISSN

01676423

Páginas

3

Volúmen

126

Título corto

Science of Computer Programming

Abstract

Autores

Daniel Calegari

Till Mossakowski

Nora Szasz

Citekey

32050

doi

10.1016/j.scico.2016.02.003

Keywords