Search

Einar Broch Johnsen

Einar Broch Johnsen

Home
Talks
Recent Talks All Talks
Publications
Recent Publications All Publications
Projects
Recent Projects All Projects
Sirius
Service
Recent Service All Service
Teaching
Contact

Light Dark Automatic

Marcello M. Bonsangue

Latest

SymPaths: Symbolic Execution Meets Partial Order Reduction
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Distributed Computing Techniques. Selected papers from FMOODS'07 and COORDINATION'07
Proc. 9th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07).

© 2025 Einar Broch Johnsen. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite