 |
| (Guest)editors | | Volume & journal title |
|
| J. Boyland, G. Hedin | |
|
| ( 48 pages ) |
|
| B.R. Bryant, J. Saraiva | |
|
| ( 62 pages ) |
|
| K. de Leeuw | |
|
| ( 124 pages ) |
|
| C. Canal, M. Viroli | |
|
| ( 88 pages ) |
|
| L. Chung, N. Subramanian | |
|
| ( 102 pages ) |
|
| I. Crnkovic, R. Krikhaar | |
|
| ( 62 pages ) |
|
| D. Kozen | |
|
| ( 144 pages ) |
|
| J. Barjis, U. Ultes-Nitsch, J.C. Augusto | |
|
| ( 70 pages ) |
|
| J.-M. Jacquet, G.P. Picco | |
|
| ( 78 pages ) |
|
| R. Giacobazzi | |
|
| ( 184 pages ) |
|
| P. Fradet, R. Lämmel | |
|
| ( 174 pages ) |
|
| T. Harris, D. Lea | |
|
| ( 94 pages ) |
|
| R. Focardi, G. Zavattaro | |
|
| ( 108 pages ) |
|
| G. Antoniol, J. Krinke, P. Tonella | |
|
| ( 116 pages ) |
|
| R.E. Jones | |
|
| ( 110 pages ) |
|
| C. Lengauer, W. Taha | |
|
| ( 94 pages ) |
|
| G. Hedin, E. Van Wyk | |
|
| ( 78 pages ) |
|
| A. Brogi, J.-M. Jacquet, J. Kramer et al. | |
|
| ( 116 pages ) |
|
| L. Chung, N. Subramanian | |
|
| ( 72 pages ) |
|
| F. Balmas, K. Kontogiannis | |
|
| ( 104 pages ) |
|
| M. Aleksy, R. Gitzel, J. Waldron | |
|
| ( 170 pages ) |
|
| M. Moir, N. Shavit, J. Vitek | |
|
| ( 124 pages ) |
|
| R. Cousot | |
|
| ( 290 pages ) |
|
| L. Chung, N. Subramanian | |
|
| ( 128 pages ) |
|
| M.A. Ertl | |
|
| ( 130 pages ) |
|
| E. Pulvermüller, G. Goos, U. Aβmann | |
|
| ( 250 pages ) |
|
| F.S. de Boer, M.M. Bonsangue | |
|
| ( 290 pages ) |
|
| J.F. Power, J.T. Waldron | |
|
| ( 142 pages ) |
|
| M. Brand, M. Mernik, D. Parigot | |
| Volume 47, Number 1: |
| Language Descriptions, Tools and Applications (LDTA'01) |
|
| ( 88 pages ) |
|
| H. Garavel, S. Gnesi, I. Schieferdecker | |
| Volume 46, Number 3: |
| Formal Methods for Industrial Critical Systems (FMICS 2000) |
|
| ( 114 pages ) |
|
| P. Ciancarini, A. Wolf | |
| Volume 46, Numbers 1-2: |
| Coordination Languages and Architectures |
|
| ( 194 pages ) |
|
| E. Chikofsky, C. Verhoef | |
| Volume 45, Numbers 2-3: |
| Software Maintenance and Reengineering (CSMR 99) |
|
| ( 176 pages ) |
|
| H. Ehrig, G. Engels, H.-J. Kreowski et al. | |
| Volume 44, Number 2: |
| Applications of Graph Transformations (GRATRA 2000) |
|
| ( 122 pages ) |
|
| A. Evans, S. Kent, B. Selic | |
| Volume 44, Number 1: |
| Unified Modeling Language (UML 2000) |
|
| ( 130 pages ) |
|
| R. Backhouse, J. Oliveira | |
| Volume 43, Numbers 2-3: |
| Mathematics of Program Constructrion (MPC 2000) |
|
| ( 142 pages ) |
|
| M. Broy, Luqi | |
| Volume 42, Number 1: |
| Engineering Automation for Computer Based Systems (Carmel, 1998) |
|
| ( 128 pages ) |
|
| D. Smith, S. Woods | |
| Volume 40, Nos 2-3: |
| Program Comprehension (IWPC'99) |
|
| ( 116 pages ) |
|
| E. Astesiano, C. Ghezzi | |
| Volume 40, Number 1: |
| Methods of Software Design: Techniques and Applications |
|
| ( 146 pages ) |
|
| G. Levi | |
| Volume 39, Number 1: |
| Static Program Analysis (SAS'98) |
|
| ( 148 pages ) |
|
| J. Jeuring, C. Lengauer, M. Sheeran | |
| Volume 37, Numbers 1-3: |
| Mathematics of Program Construction |
|
| ( 314 pages ) |
|
| I. Baxter, A. Quilici, C. Verhoef | |
| Volume 36, Numbers 2-3: |
| WCRE 97 |
|
| ( 198 pages ) |
|
| J. Cuellar, S. Gnesi, D. Latella | |
| Volume 36, Number 1: |
| Formal Methods in Industry |
|
| ( 128 pages ) |
|
| H.R. Nielson | |
| Vol. 32: |
| Selected Papers of the 6th European Symposium on Pogramming (ESOP'96), Linköping, Sweden, 22-24 April 1996 |
|
| ( 226 pages ) |
|
| P. Ciancarini, R. Gorrieri | |
| Vol. 31, no. 2/3: |
| Coordination Models, Languages and Architectures |
|
| ( 214 pages ) |
|
| P. Codognet | |
| Vol. 30, no. 1/2: |
| Concurrent Constraint Programming |
|
| ( 256 pages ) |
|
| J. Madey, A. Tarlecki, W.M. Turski | |
| Vol. 28, no. 2/3: |
| Formal Specifications: Foundations, Methods, Tools and Applications |
|
| ( 212 pages ) |
|
| B. Möller | |
| Vol. 26: |
| Mathematics of Program Construction |
|
| ( 280 pages ) |
|
| D. Sannella | |
| Vol. 25, no. 2/3: |
| Selected Papers of ESOP'94, the 5th European Symposium on Programming, Edinburgh, UK, 11–13 April 1994 |
|
| ( 252 pages ) |
|
| M.-C. Gaudel | |
| Vol. 23, no. 2/3: |
| Selected Papers of the Colloquium on Formal Aspects of Software Engineering (TAPSOFT '93), Orsay, France, April 1993 |
|
| ( 210 pages ) |
|
| B. Krieg–Brückner | |
| Vol. 22, no. 3: |
| Selected Papers of the Fourth European Symposium on Programming, Rennes, France, 26–28 February 1992 |
|
| ( 176 pages ) |
|
| C. Morgan | |
| Vol. 22, no. 1/2: |
| Mathematics of Program Construction |
|
| ( 186 pages ) |
|
| K.R. Apt, M. Hagiya | |
| Vol. 21, no. 2: |
| Selected Papers of the Conference on Theoretical Aspects of Computer Software (TACS '91), Sendai, Japan, 24–27 September 1991 |
|
| ( 104 pages ) |
|
| C. Ghezzi, G.–C. Roman | |
| Vol. 20, no. 1/2: |
| Selected Papers of the Sixth International Workshop on Software Specification and Design (6IWSSD), Como, Italy, 25–26 October 1991 |
|
| ( 178 pages ) |
|
| N.D. Jones | |
| Vol. 17: |
| Selected Papers of ESOP '90, the 3rd European Symposium on Programming, Copenhagen, Denmark, May 1990 |
|
| ( vi + 272 pages ) |
|
| M. Rem | |
| Vol. 15, no. 2/3: |
| Parallel Programming |
|
| ( ii + 146 pages ) |
|
| J.L.A. van de Snepscheut | |
| Vol. 14, no. 2/3: |
| Mathematics of Program Construction |
|
| ( ii + 212 pages ) |
|
