journal of automated reasoning (10)
journal of formalized reasoning (4)
journal of functional programming (3)
electronic notes in theoretical computer science (2)
entcs: electronic notes in theoretical computer science (2)
interactive theorem proving (2)
mathematics of program construction (2)
science of computer programming (2)
10th international conference on interactive theorem proving (1)
2014 international symposium on information theory & its applications (1)
2014 international symposium on information theory and its applications, information theory and its applications (isita), 2014 international symposium on (1)
2016 international symposium on information theory and its applications (isita), information theory and its applications (isita), 2016 international symposium on (1)
2018 international symposium on information theory and its applications (isita), information theory and its applications (isita), 2018 international symposium on (1)
26th international conference on types for proofs and programs (1)
acm/sigplan workshop partial evaluation & semantics-based program manipulation (1)
advances in computer science - asian 2006. secure software & related issues (1)
automated reasoning (1)
automated reasoning. part ii (1)
formal methods & software engineering (9783319478456) (1)
formal methods & software engineering (9783540474609) (1)
from modern coding theory to postmodern coding theory (japanese) (1)
innovations in systems & software engineering (1)
innovations in systems and software engineering: a nasa journal (1)
interactive theorem proving (9783642323461) (1)
interactive theorem proving: 6th international conference, itp 2015, nanjing, china, august 24-27, 2015, proceedings (1)
mi lecture note series (1)
proceedings of the 27th annual acm symposium applied computing (1)
proceedings of the 7th workshop programming languages meets program verification (1)
proceedings of the asian symposium: partial evaluation & semantics-based program manipulation (1)
proceedings of the fourth international workshop on logical frameworks and meta-languages (lfm 2004) (1)
proceedings of the sixth workshop: programming languages meets program verification (1)
provable security (1)