ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
0
views
0
references
Top references
cited by
4
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,327
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Basic Concepts of Abstract Interpretation
Author(s):
Patrick Cousot
,
Radhia Cousot
,
P Cousot
,
R Cousot
Publication date:
2004
Read this book at
Publisher
Further versions
open (via free pdf)
oa repository (via OAI-PMH doi match)
Powered by
Buy book
Bookmark
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genomic Prediction: Concepts, Benchmarks & Synthesis
Author and book information
Book
DOI::
10.1007/978-1-4020-8157-6_27
Data availability:
Comments
Comment on this book
Sign in to comment
Similar content
1,327
Methods used to interpret the 12-lead electrocardiogram: Pattern memorization versus the use of vector concepts.
Authors:
J Willis Hurst
Abstraction and interpretation during the qualitative content analysis process
Authors:
Britt-Marie Lindgren
,
Berit Lundman
,
Ulla Graneheim
Setting performance standards: Concepts, methods, and perspectives
Authors:
GJ Cizek
,
SC Loomis
,
R Raymond M
…
See all similar
Cited by
4
Astrée: From Research to Industry
Authors:
David Delmas
,
Jean Souyris
Formal Verification of Avionics Software Products
Authors:
Jean Souyris
,
Virginie Wiels
,
David Delmas
…
MELT - a Translated Domain Specific Language Embedded in the GCC Compiler
Authors:
Basile Starynkevitch
See all cited by