All Stories

  1. Towards Top-Down Automated Development in Limited Scopes (from Expressibles to Executables)

    Article • November 2023, ACM (Association for Computing Machinery)

    Jian Gu, Harald Gall