Login / Signup

Extending and Applying a Framework for the Cryptographic Verification of Java Programs.

Ralf KüstersEnrico ScapinTomasz TruderungJuergen Graf
Published in: POST (2014)
Keyphrases
  • java programs
  • multi agent
  • web services
  • software engineering
  • information flow