| |
Computer, Vol. 42, No. 9. (September 2009), pp. 30-36.
|
| |
In NSPW '03: Proceedings of the 2003 workshop on New security paradigms (2003), pp. 49-57.
|
| |
|
| |
IEEE Software In Software, IEEE, Vol. 1, No. 2. (April 1984), pp. 5-16.
|
| |
Information Processing Letters, Vol. 41, No. 1. (21 January 1992), pp. 9-12.
|
| |
Information Processing Letters, Vol. 35, No. 1. (15 June 1990), pp. 19-22.
|
| |
|
| |
No. EWD690. (8 November 1978)
|
| |
No. ISO/IEC 9126-1. (2001)
|
| |
|
| |
Computer, Vol. 25, No. 10. (October 1992), pp. 40-51.
|
| |
|
| |
|
| |
ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 1. (January 1997), pp. 1-30.
|
| |
Verified Software: Theories, Tools, Experiments In Verified Software: Theories, Tools, Experiments, Vol. 4171 (2008), pp. 70-73.
|
| |
FME'96: Industrial Benefit and Advances in Formal Methods, Vol. 1051 (1996), pp. 1-17.
|
| |
Journal of Systems and Software, Vol. 40, No. 3. (March 1998), pp. 191-194.
|
| |
In Applied Formal Methods --- FM-Trends 98, Vol. 1641 (1999), pp. 168-183.
|
| |
Computer In Computer, Vol. 28, No. 8. (August 1995), pp. 20-32.
by Dave Power, Bertrand Meyer, Jack Grimes, et al.Mike Potel, Ron Vetter, Phil Laplante, Wolfgang Pree, Gustav Pomberger, Mark D. Hill, James R. Larus, David A. Wood, Hersham El-Rewini, Bruce W. Weide
|
| |
|
| |
No. CS-TR-999. (January 2007)
|
| |
Computer In Computer, Vol. 20, No. 4. (07 April 2006), pp. 10-19.
|
| |
In OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion (2007), pp. 1026-1030.
|
| |
|
| |
16th Digital Avionics Systems Conference In 16th Digital Avionics Systems Conference, Vol. 1 (1997), pp. 16-22.
|
| |
|
Search
Export
Sort
