Sciweavers

LICS
1987
IEEE

The Power of Temporal Proofs

15 years 12 days 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)