All Stories

  1. Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code

    Article • June 2025, ACM (Association for Computing Machinery)

    Stefania Piciorea