Journal Papers
- 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
|
Richard St-Denis Adjunct professor Université de Sherbrooke Département d'informatique Université de Sherbrooke 2500, boulevard de l'Université Sherbrooke (Québec) Canada J1K 2R1 |
Journal Papers
|
© Richard St-Denis. All rights reserved. Revised: September 27, 2023.
Web site designed by par Jasmin Auger, 2013.