GALLINA Barbara

Main Referenced Co-authors

GUELFI, Nicolas (4)

CAPOZUCCA, Alfredo (2)

Pelliccione, Patrizio (2)

KELSEN, Pierre (1)

Romanovsky, Alexander (1)

Main Referenced Keywords

acid (1); ACID Properties (1); Caa (1); Dependability (1); Formal Methods (1);

Main Referenced Disciplines

Computer science (5)

Publications (total 5)

Search in publications