Formal specifications and static checking of interfaces in Julia #1 Post by amkkma » Fri, Sep 22, 2023, 7:06 PM UTC Formal specifications and static checking of interfaces in Juliagithub.com