Sciweavers

CSL
1993
Springer
15 years 1 months ago
Program Transformation and Proof Transformation
Wilfried Sieg, Stanley S. Wainer
77
Voted
CSL
1993
Springer
15 years 1 months ago
ERRATA to "The Semantics of the C Programming Language"
Yuri Gurevich, James K. Huggins
56
Voted
CSL
1993
Springer
15 years 1 months ago
Process Algebra with Combinators
Jan A. Bergstra, Inge Bethke, Alban Ponse