Science of Computer Programming

ISSNs: 0167-6423

Elsevier BV, Netherlands

FI (2012): 2, ISI indexed (2012): yes

Central database

Journal

Publications

(7)

Published
From Flow Logic to static type systems for coordination languages
Publication: Research - peer-review › Conference article – Annual report year: 2010
Published
A portable virtual machine target for proof-carrying code
Publication: Research - peer-review › Journal article – Annual report year: 2005
Published
Abstract Interpretation of Mobile Ambients
Publication: Research - peer-review › Journal article – Annual report year: 2003

ID: 134194