Work

Initial Steps Towards Assessing the Usability of a Verification Tool

Year: 2018

Type: conference-paper

Source: Advances in intelligent systems and computing

DOI: 10.1007/978-3-319-70578-1_4

Authors: Mansur Khazeev, Victor Rivera, Manuel Mazzara, Leonard Johard

Institution: Innopolis University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2613916750

FWCI: 0.513

Cites: 19

Cited by: 5

Related to: 10