DMCA

Verification of Relational Transducers for Electronic Commerce (2000)

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