Items where authors include "Travkin, O."

[up] Up a level
Jump to: Article
Number of items: 1.

Article

Derrick, J., Doherty, S., Dongol, B. et al. (3 more authors) (2017) Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects of Computing, 30 (5). pp. 597-625. ISSN 0934-5043

This list was generated on Thu Apr 3 08:05:22 2025 BST.