Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 ProceedingsSteffen, Bernhard ; Levi, Giorgio Levi, Giorgio ; Steffen, BernhardBerlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |