EasyChair Smart SlideDocs/Log in
Author: Serdar Tasiran

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

Practical Methods for Reasoning about Java 8's Functional Programming Features

Practical Methods for Reasoning about Java 8's Functional Programming Features

David Cok and Serdar Tasiran

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: 2
Copyright © 2002 – 2024 EasyChair