Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 Internat

Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Co

Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International...

Correct hardware design and verification methods : IFIP WG 10.5 advanced researc

Critical Infrastructure Protection XIII 13th IFIP WG 11.10 Intern

Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International...

Human-Centered and Error-Resilient Systems Development IFIP WG 13

Electronic Participation 13th IFIP WG 8.5 International Conferenc