Login / Signup
Reasoning about VDM Developments using the VDM Support Tool in MURAL.
Juan Bicarregui
Brian Ritchie
Published in:
VDM Europe (1) (1991)
Keyphrases
</>
genetic algorithm
design tools
end users
artificial intelligence
digital libraries
recommender systems
decision support
computing environments
web based collaborative