Articles de journaux

  1. R. St-Denis. A comparison of three solver-aided programming languages: αRby, ProB, and Rosette. Journal of Computer Languages, 77 (November), 2023, 24 pages. doi