Produkt mají v nabídce:
Verification, Model Checking, and Abstract Interpretation
Constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.
