TU Bergakademie Freiberg | Fakultät für Mathematik und Informatik

Professur für Softwaretechnologie und Programmierungstechnik

6th International Workshop on Boolean Problems