EasyChair Smart SlideDocs/Log in
Author: Alan Khoja

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

Checking Legal Contracts - on a Not so Usual Application of Mechanized Logic

Checking Legal Contracts - on a Not so Usual Application of Mechanized Logic

Alan Khoja, Martin Kölbl, Stefan Leue and Rüdiger Wilhelmi

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