Search Results for 'defunc'

defunc published presentations and documents on DocSlides.

Termination Analysis Math Foundations of Computer Science

by fiona

Topics. Definitional principle . Soundness and . t...