International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (1. : 2017 : Xi'an) Bezüge im Wissensnetz Veranstaltungsort (1) GND Xi'an Homepage (1) GND index.html