Exportar referência
APA
Kirill Golubev, (2023). Adding Separation Logic Support to LiquidJava. Alcides Fonseca,
IEEE
Kirill Golubev, "Adding Separation Logic Support to LiquidJava", 2023.
BIBTEX
@MastersThesis{64192,
author = {Kirill Golubev},
title = {Adding Separation Logic Support to LiquidJava},
school = {ITMO University},
year = {2023},
OPTtype = {Documentos Académicos},
OPTmonth = {Dec}
}