Back to Results
First PageMeta Content
Theoretical computer science / Automated theorem proving / Logic in computer science / Proof assistants / Formal methods / Isabelle / Type theory / HOL / Automated reasoning / Computer algebra system / Vienna Development Method / Software development


CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk
Add to Reading List

Document Date: 2010-07-03 11:12:42


Open Document

File Size: 763,25 KB

Share Result on Facebook