Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation Read more about Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems Read more about Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Proceedings of the 12th Australasian database conference Read more about Proceedings of the 12th Australasian database conference
Proceedings of the 11th international symposium on System synthesis Read more about Proceedings of the 11th international symposium on System synthesis
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation Read more about Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Proceedings of the 11th international conference on Functional and Logic Programming Read more about Proceedings of the 11th international conference on Functional and Logic Programming
Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies Read more about Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Proceedings of the 10th International Workshop on Software Specification and Design Read more about Proceedings of the 10th International Workshop on Software Specification and Design
Proceedings of the 10th international symposium on System synthesis Read more about Proceedings of the 10th international symposium on System synthesis
Proceedings of the 10th International Software Process Workshop Read more about Proceedings of the 10th International Software Process Workshop