comp.specification.misc

  Formal specification methods in general.

  Readers: 4100 (0.1%) {12%}         Mesgs per month/day: 32/1       {9%}
  Crossposting: 27% {71%}            Megs  per month/day: 0.1/0.003  {19%}
  Sites reciving this Group: 35%     Cost ratio ($US/month/rdr): 0.01