Cover Image

Automated Formalization of Probabilistic Requirements from Structured Natural Language

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Mavridou, Anastasia, Farrell, Marie, Vázquez, Gricel, Pressburger, Tom, Wang, Timothy E., Calinescu, Radu, Fisher, Michael
Format: Preprint
Published: 2025
Subjects:
Programming Languages
Formal Languages and Automata Theory
Software Engineering
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Description not available.

Similar Items