Work

The Z notation: A reference manual

Year: 1990

Type: article

Source: Science of Computer Programming

DOI: 10.1016/0167-6423(90)90091-q

Author: Jan Madey

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2607631107

FWCI: 34.52

Cites:

Cited by: 563

Related to: 8