Dejan Jovanović (auth.)

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2013 · ENGLISH · PDF

View details →