Work

ARC: An Educational Project on Automated Reasoning in the Class

Year: 2022

Type: conference-paper

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Drămnesc, Isabela, Jebelean, Tudor, Ábrahám, Erika, Kusper, Gábor, Stratulat, Sorin

Institutions: West University of Timişoara, Johannes Kepler University of Linz, RWTH Aachen University, Eszterhazy Karoly Catholic University, VERIDIS: Modeling and Verification of Distributed Algorithms and Systems

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4311598596

FWCI: 0.336

Cites:

Cited by: 1

Related to: 10