2018-04-19
Mixed inductive-coinductive reasoning : types, programs and logic
Publication
Publication
Additional Metadata | |
---|---|
J.J.M.M. Rutten (Jan) , H. Geuvers | |
Radboud Universiteit | |
Organisation | Computer Security |
Basold, H. (2018, April 19). Mixed inductive-coinductive reasoning : types, programs and logic. |