Synthesizing universally quantified inductive invariants

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish
Pages (from-to)3
Number of pages1
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume260
DOIs
StatePublished - 28 Nov 2017
Event6th Workshop on Synthesis, SYNT 2017 - Heidelberg, Germany
Duration: 22 Jul 2017 → …

All Science Journal Classification (ASJC) codes

  • Software

Cite this