MUMIS will develop base technology, demonstrated within a laboratory prototype, to support automated multimedia indexing and to facilitate search and …
Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for …