Yazar
Patrick Cousot
6 cilt bulundu.
Cilt sonuçları
Static Analysis
Patrick Cousot · Springer
450 sayfa · 2001
Computer programming / Congresses / Programming languages (Electronic computers)
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne · Now Publishers
Sayfa sayısı yok · 2015
Aerospace industries / Computer programs / Statics
Static analysis
Patrick Cousot, france) International Static Analysis Symposium (8th 2001 Paris · Springer
Sayfa sayısı yok · 2001
Computer programming / Congresses / Programming languages (Electronic computers)