list | abstracts | bib ]

Verifying and Synthesizing Software with Recursive Functions (Invited Contribution)

paper pdf    paper ps   

Citation

Viktor Kuncak. Verifying and synthesizing software with recursive functions (invited contribution). In 41st International Colloquium on Automata, Languages, and Programming (ICALP), 2014.

BibTex Entry

@INPROCEEDINGS{Kuncak14VerifyingSynthesizingSoftwareRecursiveFunctionsInvitedTalk,
  author = {Viktor Kuncak},
  title = {Verifying and Synthesizing Software with Recursive Functions (Invited Contribution)},
  booktitle = {41st International Colloquium on Automata, Languages, and Programming (ICALP)},
  year = 2014,
  localurl = {http://lara.epfl.ch/~kuncak/papers/Kuncak14VerifyingSynthesizingSoftwareRecursiveFunctionsInvitedTalk.pdf}
}

list | abstracts | bib ]