Crossmark

A Tree-Based Approach to Data Flow Proofs

Crossref DOI link: https://doi.org/10.1007/978-3-030-03592-1_1

Published Online: 2018-11-24

Published Print: 2018

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Hoenicke, Jochen

Nutz, Alexander

Podelski, Andreas
License Information

Text and Data Mining valid from 2018-01-01

Text and Data Mining valid from 2018-01-01

Version of Record valid from 2018-01-01
More Information

Chapter History

First Online: 24 November 2018

Conference Information

Conference Acronym: VSTTE

Conference Name: Working Conference on Verified Software: Theories, Tools, and Experiments

Conference City: Oxford

Conference Country: United Kingdom

Conference Year: 2018

Conference Start Date: 18 July 2018

Conference End Date: 19 July 2018

Conference Number: 10

Conference ID: vstte2018

Conference URL: http://vstte18.it.uu.se/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 24

Number of Full Papers Accepted: 19

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 79% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3

Average Number of Papers per Reviewer: 2

External Reviewers Involved: Yes