DMCA

Jinja: Towards a comprehensive formal semantics for a Java-like language (2003)

by Tobias Nipkow
Venue:IN PROCEEDINGS OF THE MARKTOBERDORF SUMMER SCHOOL. NATO SCIENCE SERIES
Citations:8 - 1 self