V.E.R.A. Search Results
[Home page] [New search] [Help] [About V.E.R.A.] [Top 25]
Search option was acronym
Search width was wide
These are the results of your search:
ASPIK Algebraic Specifications and Implementations ??? (ISDV)
ISDV Integrated Software Development and Verification
Thanks for using V.E.R.A.
V.E.R.A. (c) 1993/2019 Oliver Heidelbach <ohei@snafu>
Please don't use V.E.R.A. for any commercial purposes. If you like to do so, please contact me.
snafu.de is not responsible for the contents of this page.
[Mon May 20 21:27 2019]