Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Marcello M. Bonsangue
Joint Papers
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).
Cite
×