DACÍK, Tomáš. \textit{Rozhodovací procedura pro silně separační logiku}. Online. Master's thesis. Brno: Brno University of Technology. 2022. Available from: https://theses.cz/id/jch10v/.
DACÍK, Tomáš. <i>Rozhodovací procedura pro silně separační logiku</i>. Online. Master's thesis. Brno: Brno University of Technology. 2022. Available from: https://theses.cz/id/jch10v/.
DACÍK, Tomáš. Rozhodovací procedura pro silně separační logiku. Online. Master's thesis. Brno: Brno University of Technology. 2022. Available from: https://theses.cz/id/jch10v/.
@MastersThesis{Dacik2022thesis,
AUTHOR = "Dacík, Tomáš",
TITLE = "Rozhodovací procedura pro silně separační logiku [online]",
YEAR = "2022 [cit. 2024-10-03]",
TYPE = "Master's thesis",
SCHOOL = "Brno University of TechnologyBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/jch10v/",
}
@MastersThesis{Dacik2022thesis,
AUTHOR = {Dacík, Tomáš},
TITLE = {Rozhodovací procedura pro silně separační logiku},
YEAR = {2022},
TYPE = {Master's thesis},
INSTITUTION = {Brno University of Technology},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/jch10v/},
URL_DATE = {2024-10-03},
}
{{Citace kvalifikační práce
| příjmení = Dacík
| jméno = Tomáš
| instituce = Brno University of Technology
| titul = Rozhodovací procedura pro silně separační logiku
| url = https://theses.cz/id/jch10v/
| typ práce = Master's thesis
| vedoucí =
| rok = 2022
| počet stran =
| strany =
| citace = 2024-10-03
| poznámka =
| jazyk =
}}