Contains information about title and source of a journal
Naslov:
CoVeriTeam Service: Verification as a Service
Vir:
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
[2574-1934]
Beyer,
Dirk
l. 2023,
stran 21
-25