@misc{89161,
  author = {D Wallace and James Lyle and L Ippolito and D Binkley and M Zimmerman},
  title = {A CASE Tool to Evaluate Functional Diversity in Safety System Software},
  year = {1995},
  month = {1995-08-31},
  publisher = {A CASE Tool to Evaluate Functional Diversity in Safety System Software},
  language = {en},
}