A certified implementation on top of the java virtual machine
- De Dios, J.
- Peña, R.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642045691
Argitalpen urtea: 2009
Alea: 5825 LNCS
Orrialdeak: 181-196
Mota: Biltzar ekarpena
Liburu bilduma:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)