Sciweavers

53
Voted
PODS
2000
ACM

Verification of Relational Transducers for Electronic Commerce

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