APA (7th ed.) Citation

Margalit, R., Kokologiannakis, M., Itzhaky, S., & Lahav, O. (2025). Dynamic Robustness Verification Against Weak Memory (Extended Version).

Chicago Style (17th ed.) Citation

Margalit, Roy, Michalis Kokologiannakis, Shachar Itzhaky, and Ori Lahav. Dynamic Robustness Verification Against Weak Memory (Extended Version). 2025.

MLA (9th ed.) Citation

Margalit, Roy, et al. Dynamic Robustness Verification Against Weak Memory (Extended Version). 2025.