Alberto Tagliaferro - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Fri 16 Feb 2024

Name:Alberto Tagliaferro

Country:Italy

Affiliation:Politecnico di Milano, Italy

Contributions

2026

FM

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications

Show activities from other conferences

FM 2026-profile
View general profile