×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–3)

Basin, David (ed.) et al., Principles of security and trust. Second international conference, POST 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36829-5/pbk). Lecture Notes in Computer Science 7796, 83-104 (2013).
MSC:  68P25 94A62
BibTeX Cite
Full Text: DOI
WorldCat.org
Schneider, Klaus (ed.) et al., Theorem proving in higher order logics. 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74590-7/pbk). Lecture Notes in Computer Science 4732, 302-318 (2007).
MSC:  68N18 68Q60 68T15
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software