Coalgebraic Tools for Randomness-Conserving Protocols.

Dexter Kozen Matvey Soloviev

Published in: RAMiCS (2018)

Keyphrases

decision support
software tools
data sets
user friendly
website
end users
building blocks
database
real world
information systems
mobile devices
visualization tools
security protocols