Paper

The affordable application of formal methods to software engineering

2005

Created by Alysson Bolognesi Prado at 2019-03-28 11:33:30.0.

Simplified Graph of Associations

Word Cloud

Bibliographic Sets

1

ACM - affordances

Research Paradigm

Authors

1

Venue

1

Proceedings of the 2005 annual ACM SIGAda international conference on Ada The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies - SigAda ’05

References

9

An Introduction to SPARK Ada

a Grand Challenge for Computing Research

Correctness by construction: developing a commercial secure system