Preservation of Proof Obligations from Java to the Java Virtual Machine
Work
Year: 2008
Type: book-chapter
Institutions Madrid Institute for Advanced Studies, Institut national de recherche en informatique et en automatique
Cites: 28
Cited by: 12
Related to: 10
FWCI: 1.746
Citation percentile (by year/subfield): 74.71
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Partnerships for the goals
Open Access status: closed