Work

Formal Specification of the CIF

Year: 2005

Type: book-chapter

Source: UWA Profiles and Research Repository (University of Western Australia)

Authors: N. Spadaccini, S. R. Hall, Irina Brown, H. J. Bernstein, John D. Westbrook, Brian T. McMahon

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1522501510

FWCI:

Cites:

Cited by:

Related to: 10