| Author | |
| Year of Publication |
2024
|
| Conference Name |
FormaliSE
|
| Date Published |
05/2024
|
| Conference Location |
Libson, Portugal
|
| Google Scholar | BibTeX | |