researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Journal: Journal of Logical and Algebraic Methods in Programming
Journals associated with the name Journal of Logical and Algebraic Methods in Programming:
Articles referring to this journal name
(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
Vlad Rusu
,
David Nowak
.
Journal of Logical and Algebraic Methods in Programming
, ,
2020.
MAC A verified static information-flow control library
Marco Vassena
,
Alejandro Russo
,
Pablo Buiras
,
Lucas Waye
.
Journal of Logical and Algebraic Methods in Programming
, 95:
148-180
,
2018.
[doi]