Sciweavers

Share
SIGSOFT
2011
ACM

Static analysis by abstract interpretation of embedded critical software

8 years 6 months ago
Static analysis by abstract interpretation of embedded critical software
Julien Bertrane, Patrick Cousot, Radhia Cousot, J&
Added 15 May 2011
Updated 15 May 2011
Type Journal
Year 2011
Where SIGSOFT
Authors Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Comments (0)
books