Merkliste 
 1 Ergebnisse 
 
1

Language support for verifying reconfigurable interacting s..:

Alrahman, Yehia Abd ; Azzopardi, Shaun ; Di Stefano, Luca.
International Journal on Software Tools for Technology Transfer.  25 (2023)  5-6 - p. 765-784 , 2023