Work

Theoretical Aspects of Software Engineering

Year: 2022

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-10363-6

Authors: Bonsangue, Marcello M., Caltais, Georgiana, Feng, Hui, Tunç, Hünkar Can, Aït-Ameur, Yamine, Craciun, Florin

Institutions: Babeș-Bolyai University, Institut de Recherche en Informatique de Toulouse, Verimag, Université Grenoble Alpes

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Award: G2647707245

OpenAlex ID: W4285245289

FWCI: 1.83

Cites: 7

Cited by: 7

Related to: 10