Search Sciweavers | Sciweavers

4722 search results - page 113 / 945

» Representation-independent program analysis

ICFEM
2010
Springer

161views Software Engineering» more ICFEM 2010»

15 years 1 months ago

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wol...

claim paper

Read More »

click to vote

IWPC
2010
IEEE

120views Software Engineering» more IWPC 2010»

15 years 1 months ago

Daniel Ratiu, Lars Heinemann

claim paper

Read More »

click to vote

JOT
2010

70views more JOT 2010»

15 years 1 months ago

Sven Apel

claim paper

Read More »

click to vote

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

15 years 1 months ago

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

103

CORR
2011
Springer

157views Education» more CORR 2011»

14 years 10 months ago

Sciweavers