Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

Category

Oxford University Computing Laboratory

page 1

formal specification language used for describing and modelling computing systems

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.