Masarykovo nádraží : 150 let železnice v Praze

Veröffentlicht 1995

Handling Heap Data Structures in Backward Symbolic Execution

von Husák, Robert
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Mathematical and engineering methods in computer science : 10th international doctoral workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015 : revised selected papers

Veröffentlicht 2016

Engineering of computer-based systems : 8th international conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023 : proceedings

Veröffentlicht 2024