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 conferencePaper

20 Downloads (Pure)

Fingerprint Dive into the research topics of 'An example of proving UC-realization with formal methods'. Together they form a unique fingerprint.

Business & Economics