BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
Adding Separation Logic Support to LiquidJava

Participants in the publication
Kirill Golubev (Author)
Alcides Fonseca (Adviser)
Dep. Informática
 LASIGE
Date of Publication
2023-12-31

Institution
ITMO University

Publication Identifiers


Export

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} }