Sciweavers

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