EasyChair Smart SlideUser guide
Author: Suha Orhun Mutluergil

This page shows all presentations of this author published in EasyChair Smart Slide.

Reasoning About TSO Programs Using Reduction and Abstraction

Reasoning About TSO Programs Using Reduction and Abstraction

Suha Orhun Mutluergil, Constantin Enea, Ahmed Bouajjani and Serdar Tasiran

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair