EasyChair Smart SlideDocs/Log in
Author: Bas Spitters

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

Finding Smart Contract Vulnerabilities with ConCert'S Property-Based Testing Framework

Finding Smart Contract Vulnerabilities with ConCert'S Property-Based Testing Framework

Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov and Bas Spitters

Dependent Right Adjoint Types

Dependent Right Adjoint Types

Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew Pitts and Bas Spitters

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