(Q105700342)

English

International Workshop on Verification and Program Transformation

conference series

VPT

In more languages

default for all languages

No label defined

No description defined

edit

Statements

instance of

academic conference series

1 reference

stated in

dblp computer science bibliography

reference URL

https://dblp.org/db/conf/vpt/

retrieved

13 February 2021

short name

VPT (English)

1 reference

stated in

dblp computer science bibliography

reference URL

https://dblp.org/db/conf/vpt/

retrieved

13 February 2021

title

International Workshop on Verification and Program Transformation (English)

1 reference

stated in

dblp computer science bibliography

reference URL

https://dblp.org/db/conf/vpt/

retrieved

13 February 2021

has part(s)

Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019

series ordinal

7

1 reference

stated in

dblp computer science bibliography

reference URL

https://dblp.org/db/series/eptcs/eptcs299.html

retrieved

8 March 2021

Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016

series ordinal

4

1 reference

stated in

dblp computer science bibliography

reference URL

https://dblp.org/db/series/eptcs/eptcs216.html

retrieved

8 March 2021

Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017

series ordinal

5

1 reference

stated in

dblp computer science bibliography

reference URL

https://dblp.org/db/series/eptcs/eptcs253.html

retrieved

8 March 2021

Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015

series ordinal

3

1 reference

stated in

dblp computer science bibliography

reference URL

https://dblp.org/db/series/eptcs/eptcs199.html

retrieved

8 March 2021

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

series ordinal

2

1 reference

stated in

dblp computer science bibliography

reference URL

https://dblp.org/db/conf/cav/vpt2014.html

retrieved

8 March 2021

First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013

series ordinal

1

1 reference

stated in

dblp computer science bibliography

reference URL

https://dblp.org/db/conf/cav/vpt2013.html

retrieved

8 March 2021

Identifiers

DBLP venue ID

conf/vpt

1 reference

stated in

dblp computer science bibliography

reference URL

https://dblp.org/db/conf/vpt/

retrieved

13 February 2021

(Q105700342)

International Workshop on Verification and Program Transformation

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)