Application of an informal program verification method to Ada
| Title: | Application of an informal program verification method to Ada |
|---|---|
| Authors: | Wieand, B.; Howden, W.E. |
| Source: | Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Computer assurance Computer Assurance, 1994. COMPASS '94 Safety, Reliability, Fault Tolerance, Concurrency and Real Time, Security. Proceedings of the Ninth Annual Conference on. :81-89 1994 |
| Relation: | Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance |
| Database: | IEEE Xplore Digital Library |