@inproceedings{oai:it.cnr:prodotti:190784,
	title = {Gate splitting in  LOTOS  specifications using abstract   interpretation},
	author = {Giannotti F and Latella D},
	publisher = {Springer-Verlag},
	year = {1993}
}

Latella, Diego
0000-0002-3257-9059

Bibliographic record