EasyChair Smart SlideDocs/Log in
Author: Sebastian Buruiana

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

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics

Stefan Ciobaca and Sebastian Buruiana

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