Omega-MKRP: A Proof Development Environment.

Xiaorong Huang Manfred Kerber Michael Kohlhase Erica Melis Dan Nesmith Jörn Richts Jörg H. Siekmann

Published in: CADE (1994)

Keyphrases

development environment
development tools
development environments
application development
user interface
development process
rapid prototyping
database server
software development environment
visual programming
information retrieval
distributed environment