Login / Signup
Focus points and convergent process operators: a proof strategy for protocol verification.
Jan Friso Groote
Jan Springintveld
Published in:
J. Log. Algebraic Methods Program. (2001)
Keyphrases
</>
case study
process model
information systems
lightweight
development process
formal analysis