VSL 2014: VIENNA SUMMER OF LOGIC 2014

Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK

Authors: Rod Chapman and Florian Schanda

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK
Authors:Rod Chapman and Florian Schanda
Proceedings:ITP 2014 LNCS Proceedings
Editors: Gerwin Klein and Ruben Gamboa
Keywords:
Abstract:
Pages:10
Talk:Jul 15 15:00
Paper:
Disclaimer | Powered by EasyChair Smart Program