Verification of Relational Transducers for Electronic Commerce (2000)

Cached

Download Links

by Marc Spielmann
Venue:JCSS
Citations:36 - 0 self