Work

An empirical research agenda for understanding formal methods productivity

Year: 2014

Type: article

Source: Information and Software Technology

DOI: 10.1016/j.infsof.2014.11.005

Authors: Ross Jeffery, Mark Staples, June Andronick, Gerwin Klein, Toby Murray

Institutions: UNSW Sydney, Data61

Language: English

Topic: Software Engineering Techniques and Practices

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Australian Government, Australian Research Council

OpenAlex ID: W2146679277

FWCI: 2.882

Cites: 65

Cited by: 18

Related to: 10