Modular reasoning in Object-Z

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 1997, Pages 140-149

  Griffiths, Alena ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING;

MODULAR REASONING; OBJECT Z PROGRAMMING LANGUAGE;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0031364429     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)