SaTC: CORE: Small: Techniques for Software Model Checking of Hyperproperties

Namesort iconValue
MIME typeapplication/pdf
Size1.33 MB