Skip to main content
Secondary menu
Imprint
Log in
Toggle navigation
Home
About Us
Contact Information
Location
In The Press
People
Current Members
Alumni
MT Students / Interns
Visitors
Research
Courses
Publications
Open Positions
Publications by Angel Saenz-Badillos
×
Status message
The Publications site is currently under construction, as a result some publications might be missing.
No publications found.
Export bibtex
All Publications
2008
Automatic Result Verification for the Functional Testing of a Query Language.
<