Detail publikace

Deciding Boolean Separation Logic via Small Models

DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš a ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: 2024.
Název česky
Rozhodování boolovské Separační logiky pomocí malých modelů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Dacík Tomáš, Ing. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Zuleger Florian, Dr. (FORSYTE)
URL
Rok
2024 (v tisku)
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'24 (TACAS'24), Centre for Security, Reliability and Trust (SnT), University of Luxembourg., LU
BibTeX 
@INPROCEEDINGS{FITPUB13138,
   author = "Tom\'{a}\v{s} Dac\'{i}k and Adam Rogalewicz and Tom\'{a}\v{s} Vojnar and Florian Zuleger",
   title = "Deciding Boolean Separation Logic via Small Models",
   year = 2024,
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13138"
}
Nahoru