EasyChair Smart SlideDocs/Log in
Author: Marco Eilers

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

MaxSMT-Based Type Inference for Python 3

MaxSMT-Based Type Inference for Python 3

Mostafa Hassan, Caterina Urban, Marco Eilers and Peter Müller

Nagini: A Static Verifier for Python

Nagini: A Static Verifier for Python

Marco Eilers and Peter Müller

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