Normal view
MARC view
Helmut Seidl, Zhiming Liu, Corina S. Pasareanu (Personal Name)
Machine generated authority record
Work cat.: (OSt)1666505: Helmut Seidl, Zhiming Liu, Corina S. Pasareanu, Theoretical Aspects of Computing – ICTAC 2022