José C. Campos profile picture

José C. Campos

2022 IEEE/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE)
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems
Companion of the 2024 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '24 Companion) June 24-28, 2024, Cagliari, Italy
Rigorous State-Based Methods
Aprende Primeros Auxilios Dibujando - Primeros auxilios explicados con dibujos para todos los niveles
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings