Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Omschrijving
Israel) called On the Expressive Power of Canonical Abstraction,and ¿atutorialbyJoshuaD.Guttman(Mitre,USA)on Security, Protocols, and Trust. We would like to thank the Program Committee members and the reviewers, without whose dedicated e?ort the conference would not have been possible.
Ik heb een vraag over het boek:
‘Verification, Model Checking, and Abstract Interpretation - ’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
