The ASTREÉ Analyzer release_6ku3gny34bemtd7fmksc4ig26e

by Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2005   p21-30

Archived Files and Locations

application/pdf  1.2 MB
file_ry5ct7qy7fctlm7gr45jiagug4
web.archive.org (webarchive)
www.di.ens.fr (web)
web.archive.org (webarchive)
application/pdf  1.2 MB
file_3jdhheocyzgfxjgvwk7agkvwnu
web.archive.org (webarchive)
www-apr.lip6.fr (web)
application/pdf  267.2 kB
file_vywa6mctifccjeo23oymu3tt6y
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.di.ens.fr (web)
web.archive.org (webarchive)
+ 5 more URLs
application/pdf  411.4 kB
file_julcfdjsargvfkitqug6ocw6wu
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2005
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 26a308f0-2640-45cd-8937-f0f83ad763ad
API URL: JSON