Work

A Runtime Environment for Contract Automata

Year: 2023

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-27481-7_31

Authors: Davide Basile, Maurice H. ter Beek

Institution: Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4323026795

FWCI: 2.151

Cites: 30

Cited by: 12

Related to: 10