Preservation and Reflection in Specification.

Antónia Lopes José Luiz Fiadeiro

Published in: AMAST (1997)

Keyphrases

high level
formal verification
formal specification
artificial intelligence
social networks
database systems
expert systems
machine learning
information retrieval
website
three dimensional
collaborative learning
reactive systems