VSL 2014: VIENNA SUMMER OF LOGIC 2014

Program Verification (B Method)

Author: Jean-Raymond Abrial

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Program Verification (B Method)
Authors:Jean-Raymond Abrial
Proceedings:APPA 2014 VSL Proceedings
Editors: Bruno Woltzenlogel Paleo and David Delahaye
Keywords:
Abstract:
Pages:26
Talk:Jul 18 16:30
Paper:
Disclaimer | Powered by EasyChair Smart Program