Fingerprint
Dive into the research topics of 'An example of proving UC-realization with formal methods'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
An example of proving UC-realization with formal methods
S. Andova, K. Gjøsteen, L. Kråkmo, S. F. Mjølsnes, S. Radomirović
Research output: Contribution to conference › Paper
55
Downloads
(Pure)