Results 231 to 240 of about 192,432 (282)

Verifiability and strong verifiability

Journal of Mathematical Sciences, 1994
See the review in Zbl 0742.62022.
openaire   +2 more sources

Verified Bytecode Subroutines

Journal of Automated Reasoning, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Klein, G., Wildmoser, M.
openaire   +2 more sources

Home - About - Disclaimer - Privacy