Conducted in
terms:
2023, 2024
ECTS credits:
6
Language:
English
Organized by:
Faculty of Mathematics, Informatics, and Mechanics
Research seminar "Semantics, Logic, Verification and its Applications" 1000-2S22SLW
This course has not yet been described...