Work

Weeks of Debugging Can Save You Hours of TLA

Year: 2020

Type: article

Author: Markus A. Kuppe

Institution: Microsoft (United States)

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2999755960

FWCI:

Cites:

Cited by: 1

Related to: 10