Wikidata

(Q106426964)

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

  • 2nd VPT@CAV 2014: Vienna, Austria
In more languages
default for all languages
No label defined

No description defined

Statements

title
Second International Workshop on Verification and Program Transformation (English)
1 reference
stated in
dblp computer science bibliography
reference URL
https://dblp.org/db/conf/cav/vpt2014.html
retrieved
8 March 2021

Identifiers

GND ID
1177839644
subject named as
International Workshop on Verification and Program Transformation (2. : 2014 : Wien)
1 reference
stated in
lobid-gnd
reference URL
https://lobid.org/gnd/1177839644
retrieved
10 March 2021
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q106426964&oldid=2007221476"