All Stories

  1. How static analysis is used in different programming languages.

    Article • ACM SIGAda Ada Letters, April 2022, ACM (Association for Computing Machinery)

    Maurizio Martignano