Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic

G. Delzanno, Sandro Etalle, M. Gabbrielli

Research output: Book/Report › Book editing › Academic

Keywords

TY - BOOK

T1 - Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic

AU - Delzanno, G.

AU - Etalle, Sandro

AU - Gabbrielli, M.

PY - 2002

Y1 - 2002

KW - METIS-210636

M3 - Book editing

BT - Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic

PB - Roskilde University

CY - Denmark

ER -