Work

Correction: Hypercontracts

Year: 2025

Type: erratum

Source: Formal Methods in System Design

DOI: 10.1007/s10703-025-00485-2

Authors: Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia

Institutions: University of Michigan, Institut national de recherche en sciences et technologies du numérique, Institut de Recherche en Informatique et Systèmes Aléatoires, Centre Inria de l'Université de Rennes, University of California, Berkeley

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,390

OpenAlex ID: W4412993489

Cites:

Cited by:

Related to: 10