Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
AuthID
P-010-G0B
P-010-G0B
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service