Comp.specification.z and Z FORUM Frequently Asked Questions.

Jonathan P. Bowen

Published in: ZUM (1998)

Keyphrases

frequently asked questions
email
high level
digital libraries
formal specification
free text
specification language
genetic algorithm
provably correct
software engineering
reactive systems
online forums
discussion forums
database
keywords
website
machine learning