EasyChair Smart SlideDocs/Log in
Author: Yu-Yang Lin

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

From Bounded Checking to Verification of Equivalence via Symbolic up-to Techniques (Extended Abstract)

From Bounded Checking to Verification of Equivalence via Symbolic up-to Techniques (Extended Abstract)

Yu-Yang Lin, Vasileios Koutavas and Nikos Tzevelekos

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