Sort
By YearBy Citation
International Journal on Software Tools for Technology Transfer, (2020)
ACM SIGAda Ada Letters, no. 2 (2019): 97-108
EI
ACM Transactions on Applied Perception, pp.167-185, (2019)
EI
SAC, pp.2186-2195, (2019)
EI
Formal Asp. Comput., no. 1 (2018): 107-131
EI
TAP, pp.44-62, (2018)
EI
arXiv: Software Engineering, (2018)
EI
SecDev, pp.126-127, (2018)
EI
ISoLA, pp.104-120, (2018)
EI
TAP, pp.139-156, (2018)
EI
EWSN, pp.264-269, (2018)
EI
View All