Personensuche
X
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
6
JavaBIP meets VerCors: Towards the Safety of Concurrent Sof..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
8