Program algebra for quantitative information flow

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 106; pp. 55 - 77
Main Authors McIver, A.K., Morgan, C.C., Rabehaja, T.
Format Journal Article
LanguageEnglish
Published 01.08.2019
Online AccessGet full text

Cover

More Information
ISSN:2352-2208
DOI:10.1016/j.jlamp.2019.04.002