Wolfgang Polak
E265229
UNEXPLORED
Wolfgang Polak is a computer scientist known for his work in formal methods and as a doctoral advisor to prominent researchers such as Tobias Nipkow.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.