De Porre, K.,
Ferreira, C. &
Gonzalez Boix, E.,
2023,
VeriFx: Correct Replicated Data Types for the Masses. Salvaneschi, G. & Ali, K. (redactie).
37th redactie Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing,
Vol. 263.
blz. 1-45 45 blz. 9. (European Conference on Object-Oriented Programming (ECOOP 2023)).
Onderzoeksoutput: Conference paper