Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings
Giacobazzi, Roberto ; Berdine, Josh, chercheur en informatique ; Mastroeni, Isabella, chercheur en informatique ; International Conference on Verification, Model Checking, and Abstract Interpretation 433352 14 2013 Rome, Italy
Heidelberg Dordrecht London New York : Springer, 2013
Voir les exemplaires