Personensuche
X
?
Proceedings of the 2024 International Conference on Software and Systems Processes ,
1
Insights on Implementing a Metrics Baseline for Post-Deploy..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
8
Transforming Big-Step to Small-Step Semantics Using Interpr..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
9