Skip to main content
Search form
Search
Webinars
Blog
Contact
Support
eclairit.com
Toggle navigation
Software Analysis & Verification
ECLAIR
PPL
Services
Consulting
Education
Verification Services
Technical support
Resources
Webinars
Documentation
Scientific publications
Company
About
News
Customers
Partners
Blog
Contact us
Careers
Academy
Selected Scientific Publications
Export 1 results:
BibTex
Author
Title
Type
[
Year
]
Filters:
Author
is
Katy Dobson
[Clear All Filters]
2007
Bagnara R
,
Dobson K
,
Hill PM
,
Mundell M
,
Zaffanella E
. 2007.
Grids: A Domain for Analyzing the Distribution of Numerical Values
.
Logic-based Program Synthesis and Transformation, 16th International Symposium. 4407:219–235.
Google Scholar
BibTex
BagnaraDHMZ07.pdf
(222.94 KB)