Cited By
View all- Cornejo CRegis GAguirre NFrias M(2023)A Study of the Electrum and DynAlloy Dynamic Behavior NotationsIEEE Transactions on Software Engineering10.1109/TSE.2023.332062549:11(4946-4963)Online publication date: 1-Nov-2023
- St-Denis R(2023) A comparison of three solver-aided programming languages: Rby, ProB, and Rosette Journal of Computer Languages10.1016/j.cola.2023.10123877(101238)Online publication date: Nov-2023
- Krings SLeuschel MSchmidt JSchneider DFrappier M(2019)Translating alloy and extensions to classical BScience of Computer Programming10.1016/j.scico.2019.102378(102378)Online publication date: Dec-2019
- Show More Cited By