| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Formal Methods for Trustworthy Computer Systems : Report From Fm89: A Workshop On The Assessment Of Formal Methods For Trustworthy Computer . . ... Systems 23-27 July 1989, Halifax, Canada | 978-3-540-19635-8 (3-540-19635-8) | 1990 | Karen Summerskill | |
| Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, ... Halifax, Canada | 978-0-387-19635-0 (0-387-19635-8) | 1991 | Workshop on the Assessment of Formal Methods for Trustworthy Computer |
D.C. · Dan Carrison · Dan Crisan · Dan Crissman · Dan Cruickshank · Dan Cruikshank · Danny Crossman · Dean Carson · Dean Cracknell · Diana Corson · Diana Crossing · Diane Carson · Don Carson · Don Corsini · Don Corzine · Don Cruickshank · Don Cruikshank · Donna Creekmore