Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Belmina Dzafic
On Proving Syntactic Properties of CPS Programs
BRICS Report Series
Related publications
Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
ACM SIGPLAN Notices
Computer Science
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving Existential Termination of Normal Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Syntactic Fault Patterns in OO Programs
Regression Verification: Proving the Equivalence of Similar Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving Safety Properties of Rewrite Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving Safety Properties of Software
Practical Methods for Proving Termination of General Logic Programs
Journal of Artificial Intelligence Research
Artificial Intelligence
Proving Bounds for Real Linear Programs in Isabelle/Hol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
