A Formal Model for Startups Financial Transactions.

Rodrigo Stevaux Ana C. V. de Melo

Published in: SBMF (2023)

Keyphrases

formal model
formal models
predicate calculus
security properties
security patterns
low cost
lightweight
knowledge representation
distributed systems