By the same authors

SCJ: Memory-safety checking without annotations

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Title of host publicationFM 2014: Formal Methods
DatePublished - 2014
Pages465-480
Number of pages16
PublisherSPRINGER
EditorsC Jones, p Pihlajasaari, J Sun
Original languageUndefined/Unknown
ISBN (Electronic)978-3-319-06410-9
ISBN (Print)978-3-319-06409-3

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8442
ISSN (Print)0302-9743

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations