Alignment and integration of the first PLATO camera
Certified Information Flow Analysis of Service Implementations
Developing and Managing Research Software in Universities and National Labs
Scientific Developers v/s Static Analysis Tools: Vision and Position Paper