Title

'A Technique for Using Model Checkers to Teach Formal Specifications,'

Document Type

Article

Abstract

Salamah, S. and A. Gates, 'A Technique for Using Model Checkers to Teach Formal Specifications,' to appear Proceedings of the Conference of Software Engineering Education and Training 28, South Carolina, April 28.

This document is currently not available here.

Share

COinS