Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 7-Day Trial for You or Your Team.

Learn More →

A Programming Approach to Formal Methods

A Programming Approach to Formal Methods Article PDF first page preview Close This content is only available as a PDF. © The British Computer Society http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png The Computer Journal Oxford University Press

A Programming Approach to Formal Methods

Ramesh,, S.
The Computer Journal , Volume 38 (3) – Jan 1, 1995
Download PDF
2 pages

Loading next page...
 
/lp/ou-press/a-programming-approach-to-formal-methods-ZUWJGgNIAu

References (0)

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Oxford University Press
Copyright
© The British Computer Society
ISSN
0010-4620
eISSN
1460-2067
DOI
10.1093/comjnl/38.3.261
Publisher site
See Article on Publisher Site

Abstract

Article PDF first page preview Close This content is only available as a PDF. © The British Computer Society

Journal

The Computer Journal – Oxford University Press

Published: Jan 1, 1995

There are no references for this article.