Towards Demonstrably Correct Compilation of Java Byte Code
Saved in:
| Title: | Towards Demonstrably Correct Compilation of Java Byte Code |
|---|---|
| Authors: | Leuschel, Michael |
| Source: | Lecture Notes in Computer Science ; Formal Methods for Components and Objects ; page 119-138 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642041662 9783642041679 |
| Publisher Information: | Springer Berlin Heidelberg |
| Publication Year: | 2009 |
| Document Type: | book part |
| Language: | unknown |
| ISBN: | 978-3-642-04166-2 978-3-642-04167-9 3-642-04166-3 3-642-04167-1 |
| DOI: | 10.1007/978-3-642-04167-9_7 |
| Availability: | http://dx.doi.org/10.1007/978-3-642-04167-9_7 http://link.springer.com/content/pdf/10.1007/978-3-642-04167-9_7 |
| Rights: | http://www.springer.com/tdm ; http://www.springer.com/tdm |
| Accession Number: | edsbas.C0A63FAD |
| Database: | BASE |
Nájsť tento článok vo Web of Science | ISBN: | 9783642041662 9783642041679 3642041663 3642041671 |
|---|---|
| DOI: | 10.1007/978-3-642-04167-9_7 |