Formal methods in practice: the missing links. a perspective from the security area (original) (raw)

Modeling and Verification of Parallel Processes, 2001

Claire Loiseaux hasn't uploaded this paper.

Let Claire know you want this paper to be uploaded.

Ask for this paper to be uploaded.