- IEEE Computer Society (3)
- Advanced Seminar on Foundations of Innovative Software Development (2)
- Díaz, Josep, 1950- (2)
- International Joint Conference on Theory and Practice of Software Development (2)
- Orejas, Fernando (2)
- SOFTFAIR (2)
- VDM-Europe Symposium (2)
- ACM Sigsoft (1)
- Association for Computing Machinery (1)
- Bergstra, J. A. (1)
- Bjørner, D. (Dines), 1937- (1)
- Bloomfield, Robin E. (1)
- Colloquium on Current Issues in Programming Languages (1)
- Colloquium on Trees in Algebra and Programming (1)
- Feijs, L. M. G. (Loe M. G.) (1)
- Jones, Roger B. (1)
- Marshall, Lynn S. (1)
- NATO Advanced Study Institute on the Challenge of Advanced Computing Technology to System Design Methods (1)
- North Atlantic Treaty Organization. Scientific Affairs Division (1)
- Skwirzynski, J. K. (1)
- Symposium on Application and Assessment of Automated Tools for Software Development (1)
- United States. National Bureau of Standards (1)
- University of Texas at Austin (1)
- Wirsing, M. (Martin) (1)
- Workshop on "Algebraic Methods: Theory, Tools and Applications" (1)