Sciweavers

PODS
2000
ACM

Verification of Relational Transducers for Electronic Commerce

14 years 4 months ago
Verification of Relational Transducers for Electronic Commerce
Marc Spielmann
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where PODS
Authors Marc Spielmann
Comments (0)