Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function rewriting » functions writing, function predicting, induction rewriting
rewriting https » writing https, rewriting type, screenwriting https
basic function » basic functions, basis function, basics functions
parallel java » parallel data, parallel scara, parallel a
java basic » java basics, java based, java batik
function rewriting » functions writing, function predicting, induction rewriting
rewriting https » writing https, rewriting type, screenwriting https
basic function » basic functions, basis function, basics functions
parallel java » parallel data, parallel scara, parallel a
java basic » java basics, java based, java batik
1
Published 2005
Table of Contents:
“... of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined...”View full text
Electronic
eBook
