Sciweavers

66
Voted
IMPERIAL
1994
15 years 26 days ago
Geometric logic as a Specification Language
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
Steven Vickers