NEČAS, František. \textit{Aplikace formálních metod v analýze sémantických rozdílů mezi verzemi software}. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2024. Dostupné z: https://theses.cz/id/5n0nuz/.
NEČAS, František. <i>Aplikace formálních metod v analýze sémantických rozdílů mezi verzemi software</i>. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2024. Dostupné z: https://theses.cz/id/5n0nuz/.
NEČAS, František. Aplikace formálních metod v analýze sémantických rozdílů mezi verzemi software. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2024. Dostupné z: https://theses.cz/id/5n0nuz/.
@MastersThesis{Necas2024thesis,
AUTHOR = "Nečas, František",
TITLE = "Aplikace formálních metod v analýze sémantických rozdílů mezi verzemi software [online]",
YEAR = "2024 [cit. 2024-08-10]",
TYPE = "Diplomová práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/5n0nuz/",
}
@MastersThesis{Necas2024thesis,
AUTHOR = {Nečas, František},
TITLE = {Aplikace formálních metod v analýze sémantických rozdílů mezi verzemi software},
YEAR = {2024},
TYPE = {Diplomová práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/5n0nuz/},
URL_DATE = {2024-08-10},
}
{{Citace kvalifikační práce
| příjmení = Nečas
| jméno = František
| instituce = Vysoké učení technické v Brně
| titul = Aplikace formálních metod v analýze sémantických rozdílů mezi verzemi software
| url = https://theses.cz/id/5n0nuz/
| typ práce = Diplomová práce
| vedoucí =
| rok = 2024
| počet stran =
| strany =
| citace = 2024-08-10
| poznámka =
| jazyk =
}}