Work

Formal methods: theory and practice

Year: 1990

Type: book-review

Source: Information and Software Technology

DOI: 10.1016/0950-5849(90)90103-x

Author: Y Naik

Institution: University of Warwick

Language: English

Topic: Karst Systems and Hydrogeology

Subfield: Earth-Surface Processes

Field: Earth and Planetary Sciences

Domain: Physical Sciences

SDG: Clean water and sanitation

Open Access status: closed

OpenAlex ID: W212778133

Cites: 1

Cited by: 8

Related to: 10