Sciweavers

TLCA
1997
Springer

Names, Equations, Relations: Practical Ways to Reason about new

14 years 4 months ago
Names, Equations, Relations: Practical Ways to Reason about new
Ian Stark
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where TLCA
Authors Ian Stark
Comments (0)