EasyChair Smart SlideUser guide
Author: Frank Soboczenski

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

Large Language Models for Verification of Reactive Programs

Large Language Models for Verification of Reactive Programs

Holly Hendry, Pedro Ribeiro and Frank Soboczenski

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