LIBRARY Computing and Software Science: State of the Art and Perspectives 2019 · ENGLISH · PDF View details →
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings 2003 · ENGLISH · PDF View details →
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings 2004 · ENGLISH · PDF View details →
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings 2003 · ENGLISH · PDF View details →
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings 2004 · ENGLISH · PDF View details →
