No. Title Author Year
1 Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle Chen, Ran et al. 2019
2 Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141) Charron-Bost, Bernadette et al. 2013
3 OASIcs, Volume 3, Trustworthy SW'06, Complete Volume Autexier, Serge et al. 2012
4 Preface -- Workshop Trustworthy Software 2006 Autexier, Serge et al. 2006
5 Abstracts Collection -- Workshop Trustworthy Software 2006 Autexier, Serge et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Imprint | Privacy Published by LZI