2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE)

G. Delzanno (Editor), Sandro Etalle (Editor), M. Gabbrielli (Editor)

Research output: Book/Report › Report › Other research output

Keywords

@book{fbc38f01164d49fe99eb87ed93890db4,

title = "2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE)",

keywords = "EWI-922",

editor = "G. Delzanno and Sandro Etalle and M. Gabbrielli",

note = "Imported from DIES",

year = "2002",

month = jul,

language = "Undefined",

publisher = "University of Cyprus",

}

TY - BOOK

T1 - 2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE)

A2 - Delzanno, G.

A2 - Etalle, Sandro

A2 - Gabbrielli, M.

N1 - Imported from DIES

PY - 2002/7

Y1 - 2002/7

KW - EWI-922

M3 - Report

BT - 2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE)

PB - University of Cyprus

CY - Denmark, Copenhagen

ER -