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...