CITATION STYLE
Stavridou, V. (2000). Specifying in OBJ, Verifying in REVE and Some Ideas about Time (pp. 171–191). https://doi.org/10.1007/978-1-4757-6541-0_2
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley