Work

Towards CASE tool support for rigorous structured analysis

Year: 2002

Type: conference-paper

Source: International Conference on Computing and Information (ICCI)

DOI: 10.1109/icci.1993.315326

Authors: R.B. France, T.W.G. Docker

Institution: Florida Atlantic University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2166099142

FWCI:

Cites: 6

Cited by: 1

Related to: 10