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