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
1 dataset found
Tags:
programmes-embarques
Filter Results
Static analysis by abstract interpretation of concurrent programs
This report presents the bulk of my research work from the completion of my PhD, in late 2004, until the present day. The overall aim of my research is the development...
HTML
You can also access this registry using the
API
(see
API Docs
).
