TU Darmstadt / ULB / TUbiblio

Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic

Bubel, Richard and Roth, Andreas and Rümmer, Philipp (2008):
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
In: Electr. Notes Theor. Comput. Sci., pp. 107-128, 199, DOI: 10.1016/j.entcs.2007.11.015,
[Online-Edition: https://doi.org/10.1016/j.entcs.2007.11.015],
[Article]

Item Type: Article
Erschienen: 2008
Creators: Bubel, Richard and Roth, Andreas and Rümmer, Philipp
Title: Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic
Language: German
Journal or Publication Title: Electr. Notes Theor. Comput. Sci.
Volume: 199
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 10:52
DOI: 10.1016/j.entcs.2007.11.015
Official URL: https://doi.org/10.1016/j.entcs.2007.11.015
Export:

Optionen (nur für Redakteure)

View Item View Item