Knowledge-based Software Engineering : 11th Joint Conference, Jckbse 2014, Vo...

Software Technologies : 11th International Joint Conference, Icsoft 2016, Lis...

Proceedings Of The Ninth International Joint Conference On Artificial...

Software Technologies: 12th International Joint Conference (New)

Model and Data Engineering 11th International Conference MEDI 202

Blanchette - Automated Reasoning 11th International Joint Conference - X555z