Work

On the use of formal methods in software development

Year: 1987

Type: conference-paper

DOI: 10.5555/41765.41768

Author: Dines Bjørner

Institution: Technical University of Denmark

Language: English

Topic: Software Engineering Techniques and Practices

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2138281007

FWCI: 11.08

Cites: 5

Cited by: 51

Related to: 10