Work

An Invitation to Formal Methods

Year: 1996

Type: article

Source: Computer

DOI: 10.1109/mc.1996.488298

Authors: J.P. Bowen, R.W. Butler, D.L. Dill, R.L. Glass, D. Gries, A. Hall

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2075680193

FWCI: 19.06

Cites: 1

Cited by: 135

Related to: 10