Mechanized proofs of opacity: a comparison of two techniques

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
In: Formal Aspects of Computing, 30, 5, S. 597-625

Event
Veröffentlichung
(where)
Augsburg
(who)
Universität Augsburg
(when)
2017
Event
Veröffentlichung
(who)
Springer Nature America, Inc
(when)
2017
Creator
Derrick, John
Doherty, Simon
Dongol, Brijesh
Schellhorn, Gerhard
Travkin, Oleg
Wehrheim, Heike

URN
urn:nbn:de:bvb:384-opus4-406134
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:39 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • 2017

Other Objects (12)