Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 (Q106337745)
Jump to navigation
Jump to search
academic conference
- 8th VMCAI 2007: Nice, France
Language | Label | Description | Also known as |
---|---|---|---|
English | Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 |
academic conference |
|
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