Introduction to Z and formal specifications

Software engineering journal

Volumn 4, Issue 1, 1989, Pages 40-50

  Spivey, J M ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES--PASCAL; DATABASE SYSTEMS;

CHECKPOINT FACILITY; DATA REFINEMENTS; FORMAL SPECIFICATIONS; INFORMATION SYSTEMS; Z NOTATION;

COMPUTER SOFTWARE;

EID: 0024303399     PISSN: 02686961     EISSN: None     Source Type: Journal    
DOI: 10.1049/sej.1989.0006     Document Type: Article

References (8)