Year: 2005
Type: conference-paper
Parent work: Programming Languages and Systems
Authors: Martin Wildmoser, Tobias Nipkow
Institution: Technical University of Munich
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2142191991