Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Author
Sabine Glesner
Institute for Program Structures and Data Organization University of Karlsruhe
Karlsruhe, Germany
1 article by this author
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Research Article
Using Program Checking to Ensure the Correctness of Compiler Implementations
Sabine Glesner
10.3217/jucs-009-03-0191
28-03-2003
Unique: 372 | Total: 442
| Access Period:
191-222
HTML
XML
PDF
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK