Login / Signup

Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic.

Wojciech Mostowski
Published in: FM (2006)
Keyphrases
  • dynamic logic
  • natural language
  • java card