Software Technologies by Enrique Cabello, Jorge Cardoso, Lesz... - 9783319936406

Cabello - Software Technologies 12th International Joint Conference - X555z

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, Fr

Software Composition 12th International Conference SC 2013 Budape

Software Technologies 10th International Joint Conference ICSOFT

Software Verification 12th International Conference VSTTE 2020 an

Software Technologies : 8th International Joint Conference, Icsoft 2013, Reyk...

Software Technologies 11th International Joint Conference ICSOFT