Skip to content
Log in
Toggle navigation
Datasets
Organizations
Groups
About
Search Datasets
Home
Datasets
Order by
Relevance
Name Ascending
Name Descending
Last Modified
Go
3 datasets found
Tags:
program-synthesis
Filter Results
Functional Validation of AADL Models via Model Transformation to SystemC with...
6 pages
HTML
Correction de conjectures fausses par synthèse de programmes
Colloque avec actes et comité de lecture. internationale.
HTML
Correcting Faulty Conjectures by Logic Program Synthesis
Colloque avec actes et comité de lecture. internationale.
HTML
You can also access this registry using the
API
(see
API Docs
).
