Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 (Q106035701)
Jump to navigation
Jump to search
academic workshop
- ISoLA Workshops 2011: Vienna, Austria
Language | Label | Description | Also known as |
---|---|---|---|
English | Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 |
academic workshop |
|
Statements
ISoLA 2011 (English)
1 reference
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011 (English)
1 reference
1 reference
1 reference
17 October 2011
1 reference
18 October 2011
1 reference