VPT 2013: BibTeX Entries
Volume:Alexei Lisitsa and Andrei Nemytykh (editors).
VPT 2013. First International Workshop on Verification and Program Transformation

Volume

@proceedings{VPT2013,
  title     = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{VPT2013:Ranking_Functions_for_Linear_Constraint_Loops,
  author    = {Amir Ben-Amram},
  title     = {Ranking Functions for Linear-Constraint Loops},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {1--8},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{VPT2013:Transforming_Undecidable_Synthesis_Problems_into_Decidable_Problems,
  author    = {Bernd Finkbeiner},
  title     = {Transforming Undecidable Synthesis Problems into Decidable Problems},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {9},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{VPT2013:Acceleration_For_Presburger_Petri_Nets,
  author    = {Jerome Leroux},
  title     = {Acceleration For Presburger Petri Nets},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {10--12},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{VPT2013:Program_Transformation_for_Program_Verification,
  author    = {Alberto Pettorossi and Maurizio Proietti},
  title     = {Program Transformation for Program Verification},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {13--14},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{VPT2013:Building_trustworthy_refactoring_tools,
  author    = {Simon Thompson},
  title     = {Building trustworthy refactoring tools},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {15},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{VPT2013:Cryptographic_Protocol_Verification_via_Supercompilation_A_Case_Study,
  author    = {Abdulbasit Ahmed and Alexei Lisitsa and Andrei Nemytykh},
  title     = {Cryptographic Protocol Verification via Supercompilation (A Case Study)},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {16--29},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{VPT2013:Verification_of_Imperative_Programs_through_Transformation_of_Constraint_Logic_Programs,
  author    = {Emanuele De Angelis and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti},
  title     = {Verification of Imperative Programs through Transformation of Constraint Logic Programs},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {30--41},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{VPT2013:On_the_Termination_of_Positive_Supercompilation,
  author    = {Geoff Hamilton},
  title     = {On the Termination of Positive Supercompilation},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {42--56},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{VPT2013:Transforming_Event_B_Models_into_Verified_C_Implementations,
  author    = {Dominique Mery and Rosemary Monahan},
  title     = {Transforming Event B Models into Verified C# Implementations},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {57--73},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{VPT2013:Ping_Pong_Protocols_as_Prefix_Grammars_and_Turchin_Relation,
  author    = {Antonina Nepeivoda},
  title     = {Ping-Pong Protocols as Prefix Grammars and Turchin Relation},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {74--87},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}