FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Continuous Reasoning: Scaling the Impact of Formal Methods

Author: Peter O'Hearn

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Continuous Reasoning: Scaling the Impact of Formal Methods
Authors:Peter O'Hearn
Proceedings:LICS PDF files
Editors: Anuj Dawar and Erich Grädel
Keywords:
Abstract:
Pages:13
Paper: