https://isa-afp.org/entries/SIFPL.html
Secure information flow and program logics - Archive of Formal Proofs
Secure information flow and program logics in the Archive of Formal Proofs
program logicssecureinformationflowarchive
https://dcj.nsw.gov.au/service-providers/deliver-services-to-children-and-families/community-and-family-support-program/program-logics.html
Program logics | Communities and Justice
Understanding and developing program logics for the Community and Family Support (CAFS) program, including the learning e-module and individual program logic...
communities and justiceprogram logics