(Q106337745)
Statements
VMCAI 2007 (English)
1 reference
Verification, Model Checking, and Abstract Interpretation, 8th International Conference (English)
1 reference
1 reference
1 reference
14 January 2007
1 reference
16 January 2007
1 reference