First Page | Document Content | |
---|---|---|
![]() Date: 2014-11-10 04:09:39Copyleft Computer law Intellectual property law Automated theorem proving Formal methods Isabelle L4 microkernel family Creative Commons KeY Open content Mathematical software Law | Add to Reading List |