Korbicz, Józef - red. ; Uciński, Dariusz - red.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 2, number 2 (1992) ; click here to follow the link
Biblioteka Uniwersytetu Zielonogórskiego
Sep 1, 2021
Jul 6, 2020
52
https://zbc.uz.zgora.pl/publication/63787
Edition name | Date |
---|---|
Temporal logic as a tool for program correctness analysis | Sep 1, 2021 |
Klimek, Radosław Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.