International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (1. : 2017 : Xi'an) ^{Konferenz oder Veranstaltung}