Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 (Q106068874)
Jump to navigation
Jump to search
academic conference
- ISoLA 2010: Heraklion, Crete, Greece
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 |
academic conference |
|
Statements
ISoLA 2010 (English)
1 reference
Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications (English)
1 reference
1 reference
18 October 2010
1 reference
21 October 2010
1 reference
Identifiers
ISoLA (4 : 2010 : Heraklion)
1 reference
ISoLA (4 : 2010 : Heraklion)
1 reference