![Copyleft / Computer law / Intellectual property law / Automated theorem proving / Formal methods / Isabelle / L4 microkernel family / Creative Commons / KeY / Open content / Mathematical software / Law Copyleft / Computer law / Intellectual property law / Automated theorem proving / Formal methods / Isabelle / L4 microkernel family / Creative Commons / KeY / Open content / Mathematical software / Law](https://www.pdfsearch.io/img/d3554109cf6682bf4408d792fb98ac43.jpg)
| Document Date: 2014-11-10 04:09:39 Open Document File Size: 559,15 KBShare Result on Facebook
Company Creative Commons / / IndustryTerm http / Person Tobias Nipkow / Markus Wenzel David Basin / Larry Paulson / / Position assistant and verification engineer / / ProgrammingLanguage Haskell / Lambda Calculus / C / / Technology java / / URL www.cse.unsw.edu.au/about-us/organisational-structure/student-services/policies / http /
SocialTag |