Concepedia

Publication | Open Access

Why does Astrée scale up?

DOIFull Paper Access

97

Citations

26

References

2009

Year

Patrick Cousot, Radhia Cousot, Jérôme Ferêt, Laurent Mauborgne, Antoine Miné, Xavier Rival
Formal Methods in System Design

References

YearCitations

Page 1