Formal specifications and static checking of interfaces in Juliagithub.com/Keno4 pointsamkkma3 years ago