Journal of Logic and Algebraic Programming
ISSNs: 1567-8326
Elsevier BV North-Holland, Netherlands
FI (2012): 2, ISI indexed (2012): yes
Central database
Journal
Publications
(5)- Published
Guest Editor’s foreword
Publication: Research › Editorial – Annual report year: 2012
- Published
Static Analysis of IMC
Publication: Research - peer-review › Journal article – Annual report year: 2012
- External
Matching in security-by-contract for mobile code
Publication: Research - peer-review › Journal article – Annual report year: 2009
ID: 165437