Login / Signup
Jinja is not Java.
Gerwin Klein
Tobias Nipkow
Published in:
Arch. Formal Proofs (2005)
Keyphrases
</>
programming language
source code
java programs
open source
database applications
object oriented
cross platform
development environment
web applications
lightweight
real world
web services
case study
metadata
neural network
java programming
java language
java platform