Sciweavers

ATVA
2004
Springer

Specification, Abduction, and Proof

15 years 2 months ago
Specification, Abduction, and Proof
Konstantine Arkoudas
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ATVA
Authors Konstantine Arkoudas
Comments (0)