All Stories

  1. ADEPT 2023 Workshop Summary

    Article • ACM SIGAda Ada Letters, December 2024, ACM (Association for Computing Machinery)

    Jerome Hugues, Ehsan Ahmad

  2. BLESS Behavior Correctness Proof as ConvincingVerification Artifact

    Article • ACM SIGAda Ada Letters, December 2024, ACM (Association for Computing Machinery)

    Ehsan Ahmad