Search Sciweavers | Sciweavers

2000 search results - page 45 / 400

» Program Transformation and Proof Transformation

100

Voted

SCAM
2003
IEEE

96views Software Engineering» more SCAM 2003»

15 years 8 months ago

Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...

claim paper

Read More »

click to vote

ICTCS
2003
Springer

71views Theoretical Computer Science» more ICTCS 2003»

15 years 8 months ago

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...

claim paper

Read More »

click to vote

COMPSAC
2002
IEEE

73views Software Engineering» more COMPSAC 2002»

15 years 8 months ago

Martin P. Ward

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

132views Theoretical Computer Science» more ERSHOV 2001»

15 years 7 months ago

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

claim paper

Read More »

click to vote

RTA
2001
Springer

91views Theoretical Computer Science» more RTA 2001»

15 years 7 months ago

Sciweavers