Sciweavers

LICS
1987
IEEE

The Power of Temporal Proofs

14 years 4 months ago
The Power of Temporal Proofs
Martín Abadi
Added 28 Aug 2010
Updated 28 Aug 2010
Type Conference
Year 1987
Where LICS
Authors Martín Abadi
Comments (0)