Login / Signup
Static Analysis of Value-Passing Process Calculi.
David Clark
Lindsay Errington
Chris Hankin
Published in:
Theory and Formal Methods (1994)
Keyphrases
</>
static analysis
dynamic analysis
data sets
case study
domain knowledge
object oriented
source code
java card