Proceedings of the 3rd international workshop on static analysis, WSA '93, Padova, Italy, September 22-24 1993

Patrick Cousot (Editor), M. Falaschi (Editor), G. File (Editor), A. Rauzy (Editor)

Research output: Book/Report › Book

Name	LNCS 724

Cite this

TY - BOOK

T1 - Proceedings of the 3rd international workshop on static analysis, WSA '93, Padova, Italy, September 22-24 1993

A2 - Cousot, Patrick

A2 - Falaschi, M.

A2 - File, G.

A2 - Rauzy, A.

PY - 1993

Y1 - 1993

M3 - Book

T3 - LNCS 724

BT - Proceedings of the 3rd international workshop on static analysis, WSA '93, Padova, Italy, September 22-24 1993

PB - Springer

ER -