Most recent publications
- 1 of 15
Simula in the media
- 1 of 2
In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), 1997.
In Proceedings 12th International Conference on Automated Deduction, Nancy (France). Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
In Proceedings 5th Nordic Workshop on Program Correctness. Reports on Computer Science & Mathematics. bo Akademi, 1994.
Department of Informatics, University of Oslo, 1991.