Flow Logics for Carmel

Rene Rydhof Hansen

Keywordsstatic analysis, java card, flow logic
TypeConference paper [Abstract]
ConferenceThe 13th Nordic Workshop on Programming Theory
EditorsMichael R. Hansen
Year2001    Month October
PublisherInformatics and Mathematical Modelling, Technical University of Denmark
AddressLyngby, Denmark
IMM no.IMM-TR-2001-12
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering