EasyChair Smart SlideUser guide
Author: Rosemary Monahan

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

Leveraging LLMs for Formal Software Requirements: Challenges and Prospects

Leveraging LLMs for Formal Software Requirements: Challenges and Prospects

Arshad Beg, Diarmuid O'Donoghue and Rosemary Monahan

Journal-First: Building Specifications in the Event-B Institution

Journal-First: Building Specifications in the Event-B Institution

Marie Farrell, Rosemary Monahan and James Power

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