A prototype dedicated theorem prover for Clean

Autor:	Mol, M.J. de, Eekelen, M.C.J.D. van
Rok vydání:	1999
Předmět:	Software Technology Technical Report Security of Systems
Zdroj:	Technical report ; CSI-R9913. Nijmegen : Computing Science Institute Technical report ; CSI-R9913 Technical Report ; CSI-R9913. Nijmegen : Computing Science Institute Technical Report ; CSI-R9913
Popis:	Contains fulltext : 107659.pdf (Publisher’s version ) (Open Access) 18 p.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::02b4dfeccc84982b1d7df73d7f411b20 https://hdl.handle.net/2066/18765 Zobrazit plný text záznamu