Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs

Cristina David

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Original languageEnglish
Title of host publicationEuropean Symposium on Programming
Publication statusAccepted/In press - 12 Dec 2014

Research Groups and Themes

  • Programming Languages

Handle.net

Cite this