Selected Extended Papers of ITP 2017
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-09500-0
Abstract: This special issue contains extended versions of selected contributions of the eighth International Conference on Interactive Theorem Proving (ITP 2017). The conference was held in Brasília, Brazil, on September 2017 and its proceedings appeared as… read more here.
Keywords: itp 2017; selected extended; extended papers; conference ... See more keywords
Selected extended papers of NFM 2018
Sign Up to like & getrecommendations! Published in 2019 at "Innovations in Systems and Software Engineering"
DOI: 10.1007/s11334-019-00351-5
Abstract: This special issue contains extended versions of selected contributions of the 10th NASA Formal Methods Symposium (NFM2018). The symposiumwas held onApril 17–19, 2018 in Newport News, VA and its proceedings appeared as volume 10811 of… read more here.
Keywords: selected extended; nfm 2018; model; coverage ... See more keywords