Search Sciweavers | Sciweavers

32032 search results - page 4 / 6407

» Verified programming in Guru

Voted

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

15 years 9 months ago

Joseph A. Goguen, Kai Lin

claim paper

Read More »

click to vote

VSTTE
2005
Springer

85views Software Engineering» more VSTTE 2005»

15 years 8 months ago

Colin O'Halloran

claim paper

Read More »

click to vote

LPNMR
2004
Springer

69views Automated Reasoning» more LPNMR 2004»

15 years 8 months ago

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

click to vote

TOSEM
2008

91views more TOSEM 2008»

15 years 3 months ago

Stephen F. Siegel, Anastasia Mironova, George S. A...

claim paper

Read More »

click to vote

TCS
2010

94views Theoretical Computer Science» more TCS 2010»

15 years 1 months ago

Sciweavers