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...
Course coordinators
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: