Synthesizing universally quantified inductive invariants

^*Corresponding author for this work

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	3
Number of pages	1
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	260
DOIs	https://doi.org/10.4204/eptcs.260.3
State	Published - 28 Nov 2017
Event	6th Workshop on Synthesis, SYNT 2017 - Heidelberg, Germany Duration: 22 Jul 2017 → …

Access to Document

@article{0590a6049beb435c935fa664562819c2,

title = "Synthesizing universally quantified inductive invariants",

author = "Sharon Shoham",

year = "2017",

month = nov,

day = "28",

doi = "10.4204/eptcs.260.3",

language = "אנגלית",

volume = "260",

pages = "3",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "6th Workshop on Synthesis, SYNT 2017 ; Conference date: 22-07-2017",

}

TY - JOUR

T1 - Synthesizing universally quantified inductive invariants

AU - Shoham, Sharon

PY - 2017/11/28

Y1 - 2017/11/28

UR - https://www.scopus.com/pages/publications/85045541173

U2 - 10.4204/eptcs.260.3

DO - 10.4204/eptcs.260.3

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:85045541173

SN - 2075-2180

VL - 260

SP - 3

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 6th Workshop on Synthesis, SYNT 2017

Y2 - 22 July 2017

ER -