> Details

Beckert, Bernhard [Author]; Bruns, Daniel [Author]; Küsters, Ralf [Author]; Scheben, Christoph [Author]; Schmitt, Peter H. [Author]; Truderung, Tomasz [Author]

The KeY Approach for the Cryptographic Verification of JAVA Programs: A Case Study

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Report; Text
  • Title: The KeY Approach for the Cryptographic Verification of JAVA Programs: A Case Study
  • Contributor: Beckert, Bernhard [Author]; Bruns, Daniel [Author]; Küsters, Ralf [Author]; Scheben, Christoph [Author]; Schmitt, Peter H. [Author]; Truderung, Tomasz [Author]
  • imprint: Karlsruher Institut für Technologie, 2012-01-01
  • Language: English
  • DOI: https://doi.org/10.5445/IR/1000027497
  • ISSN: 2190-4782
  • Keywords: DATA processing & computer science
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Access State: Open Access