Lubos Brim
Original record- Institution
- Czech Academy of Sciences
- Year
- 1986
- Country
- Czech Republic
- MGP identifier
- 307620
Dissertation: Structural Specifications of Predicate Transformers
Advisor 1
- Jiří HořejšMasaryk University · 1963
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Martin Demko | Masaryk University | 2019 | 0 |
| Jana Dražanová | Masaryk University | 2022 | 0 |
| Samuel Pastva | Masaryk University | 2022 | 0 |
| David Šafránek | Masaryk University | 2006 | 0 |
| Matej Troják | Masaryk University | 2023 | 0 |