Search Sciweavers | Sciweavers

2203 search results - page 21 / 441

» Temporal Abstract Interpretation

Voted

AMAST
2006
Springer

115views Software Engineering» more AMAST 2006»

15 years 7 months ago

Mila Dalla Preda, Matias Madou, Koen De Bosschere,...

claim paper

Read More »

Voted

BIRTHDAY
2006
Springer

90views Applied Computing» more BIRTHDAY 2006»

15 years 7 months ago

Patrick Cousot, Radhia Cousot

claim paper

Read More »

Voted

BIRTHDAY
2003
Springer

114views Applied Computing» more BIRTHDAY 2003»

15 years 7 months ago

Patrick Cousot

claim paper

Read More »

Voted

SAS
2000
Springer

105views Formal Methods» more SAS 2000»

15 years 7 months ago

David Monniaux

claim paper

Read More »

119

FPCA
1995

132views Programming Languages» more FPCA 1995»

15 years 7 months ago

Sciweavers