1
Publications
18
Citations
1
H-Index
1993
Active since
IJ Hayes is an author specializing in software design, virtual reality, and semantics.
Top concepts
SyntaxLanguageSemanticsEngineeringLinguisticsFormal MethodsSoftware DesignSystem SoftwareVirtual RealityProgram Analysis
Publications per year
1993–1993
1
1
Understanding the Differences Between VDM and Z
IJ Hayes, CB Jones, JE Nicholls · 1993 · 18 citations
Rows per page
1–1 of 1