CITATION STYLE
Lounas, R., Jafri, N., Legay, A., & Mezghiche, M. (2017). A Formal Verification of Safe Update Point, 3, 31–45.
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley