Normal view
MARC view
- Weidenbach, Christoph
Weidenbach, Christoph (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Voronkov, Andrei. editor. 321558, Programming Logics, 2013.