Work

Towards a Broader Acceptance of Formal Verification Tools: The Role of Education

Year: 2020

Type: conference-paper

Source: Advances in intelligent systems and computing

DOI: 10.1007/978-3-030-40271-6_20

Authors: Mansur Khazeev, Manuel Mazzara, Hamna Aslam, Daniel de Carvalho

Institution: Innopolis University

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: closed

OpenAlex ID: W3102184035

FWCI: 1.055

Cites: 14

Cited by: 6

Related to: 10