Items where authors include "Travkin, O."

Export as [feed] Atom [feed] RSS
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 Sun Mar 24 22:31:13 2024 GMT.