Treffer: Pichardie; A Java Card CAP Converter in PVS; In Pro-

Title:
Pichardie; A Java Card CAP Converter in PVS; In Pro-
Authors:
Maulik A. Dave, Gerwin Klein, Tobias Nipkow, Verified Bytecode Veri, Thomas Genet, Thomas Jensen, Vikash Kodati
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
http://pdf.aminer.org/000/219/444/a_mechanically_verified_compiling_specification_for_a_lisp_compiler.pdf.
Publication Year:
2002
Collection:
CiteSeerX
Subject Terms:
4 Gerhard Goos, Compiler Verification and Compiler Archi
Document Type:
Fachzeitschrift text
File Description:
application/pdf
Language:
English
Relation:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.463.4572; http://pdf.aminer.org/000/219/444/a_mechanically_verified_compiling_specification_for_a_lisp_compiler.pdf
Availability:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.463.4572
http://pdf.aminer.org/000/219/444/a_mechanically_verified_compiling_specification_for_a_lisp_compiler.pdf
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.E6AC03DF
Database:
BASE

Weitere Informationen

The area of software verification has grown its importance in software engineering. This is a bibliography of verification of a specialized class of softwares called compiler. The citations are sorted year wise in chronological order with most recent years first. The format of each citation is authors; Title; publisher; year. 2003