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 Mon Apr 15 05:47:39 2024 BST.