Publications :: Search

Publication properties
Title:	Preservation of Proof Obligations from Java to the Java Virtual Machine.
Rating:	(not rated yet)
Discussion:	0 comments
Date:	2008
Publication type:	Conference paper
Authors:	No. First name Last name Show 1. Gilles Barthe 2. Benjamin Grégoire 3. Mariela Pavlova
Download (by DOI):	10.1007/978-3-540-71070-7_7
BibTeX:	conf/cade/BartheGP08
DBLP:	db/conf/cade/ijcar2008.html#BartheGP08
Bookmark:

The following keywords have been assigned to this publication so far. If you have logged in, you can tag this publication with additional keywords.

If you log in you can tag this publication with additional keywords

A publication can refer to another publication (outgoing references) or it can be referred to by other publications (incoming references).

If you log in you can add references to other publications

A publication can be assigned to a conference, a journal or a school.

Conference
Name:	Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings 2008
DBLP:	db/conf/cade/ijcar2008.html