Login / Signup
Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.
Yung-Pin Cheng
Published in:
SPIN (2005)
Keyphrases
</>
artificial intelligence
website
data analysis
database
knowledge discovery
programming language
data abstraction