Search Sciweavers | Sciweavers

4722 search results - page 107 / 945

» Representation-independent program analysis

ICCAD
1997
IEEE

96views Hardware» more ICCAD 1997»

15 years 6 months ago

Rolf Ernst, Wei Ye

claim paper

Read More »

105

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

15 years 6 months ago

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

click to vote

APSEC
2006
IEEE

92views Software Engineering» more APSEC 2006»

15 years 5 months ago

Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi

claim paper

Read More »

click to vote

FMCAD
2008
Springer

77views Formal Methods» more FMCAD 2008»

15 years 4 months ago

Nishant Sinha

claim paper

Read More »

click to vote

FMICS
2008
Springer

91views Formal Methods» more FMICS 2008»

15 years 4 months ago

Sciweavers