Search Sciweavers | Sciweavers

1948 search results - page 11 / 390

» Formalizing Mirror Theory

IFIP
1994
Springer

83views Programming Languages» more IFIP 1994»

15 years 7 months ago

Gerard J. Holzmann

claim paper

Read More »

click to vote

BIRTHDAY
2008
Springer

84views Applied Computing» more BIRTHDAY 2008»

15 years 5 months ago

Arnon Avron

claim paper

Read More »

click to vote

AIL
2010

87views more AIL 2010»

15 years 3 months ago

Floris J. Bex, Peter J. van Koppen, Henry Prakken,...

claim paper

Read More »

Voted

CORR
2010
Springer

54views Education» more CORR 2010»

15 years 3 months ago

Lila Fontes

claim paper

Read More »

105

JODL
2008

74views more JODL 2008»

15 years 3 months ago

Sciweavers