Journal of Logical and Algebraic Methods in Programming - researchr journals

researchr

You are not signed in
Sign in
Sign up

Journals associated with the name Journal of Logical and Algebraic Methods in Programming:

(Co)inductive Proof Systems for Compositional Proofs in Reachability LogicVlad Rusu, David Nowak. Journal of Logical and Algebraic Methods in Programming, , 2020.
MAC A verified static information-flow control libraryMarco Vassena, Alejandro Russo, Pablo Buiras, Lucas Waye. Journal of Logical and Algebraic Methods in Programming, 95:148-180, 2018. [doi]

runs on WebDSL