Send email Copy Email Address
2017

The First-Order Logic of Hyperproperties

Conference / Medium

34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany

Date published

2017

Date last modified

2018-02-23 13:07:05