Primary tabs

Most recent publications

In Proceedings 12th International Conference on Automated Deduction, Nancy (France). Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
Proceedings, refereed
1994
In Proceedings 5th Nordic Workshop on Program Correctness. Reports on Computer Science & Mathematics. bo Akademi, 1994.
Proceedings, refereed
1994

Simula in the media

Samferdselsminister Ketil Solvik-Olsen åpnet forskningssenteret Simula@UiB, ved Universitetet i Bergen. - Vi må ha tillit til datasystemer, derfor trenger vi kunnskap for å forebygge cyberkriminalitet, overvåkning og industrispionasje.
Simula, Simula Research Laboratory
Samferdselsdepartementet

Find publication

Status