VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, co-located with the 26th International Conference on Computer Aided Verification CAV 2014 (Q106426964)
Jump to navigation
Jump to search
academic workshop
- 2nd VPT@CAV 2014: Vienna, Austria
Language | Label | Description | Also known as |
---|---|---|---|
English | VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, co-located with the 26th International Conference on Computer Aided Verification CAV 2014 |
academic workshop |
|
Statements
VPT 2014 (English)
1 reference
Second International Workshop on Verification and Program Transformation (English)
1 reference
1 reference
1 reference
17 July 2014
1 reference
18 July 2014
1 reference
Identifiers
1 reference
International Workshop on Verification and Program Transformation (2. : 2014 : Wien)
1 reference