Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Krebs, A, Meier, A ORCID: 0000-0002-8061-5376, Virtema, J ORCID: 0000-0002-1582-3718 and Zimmermann, M ORCID: 0000-0002-8038-2453
(2018) Team semantics for the specification and verification of hyperproperties. .

This list was generated on Sat Apr 10 19:14:59 2021 BST.