MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Seven More Myths of Formal Methods." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Jonathan P. Bowen, Michael G. Hinchey  
  • by High-Integrity System Specification, Jonathan P. Bowen, Michael G. Hinchey, C. A. R. Hoare — 18
  • …) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135 Seven More Myths of Formal Methods (Bowen & Hinchey) . . . . . . . . . . . . 153 A Specifier…
  • Add To MetaCart
  • High-Integrity System Specification  
  • by Jonathan P. Bowen, Michael G. Hinchey — 1999
  • …? . ....................................131 Seven Myths of Formal Methods (Hall) . . ...........................135 Seven More Myths of Formal…
  • Add To MetaCart
  • Select Z Bibliography  
  • by Jonathan Bowen Oxford, Jonathan P. Bowen — 1995 — In Bowen et al
  • … and M. G. Hinchey. Seven more myths of formal methods: Dispelling industrial prejudices. In Naftalin et…
  • Add To MetaCart
  • Benefits and Problems of Formal Methods  
  • by Martin Gogolla — 2004
  • … recite and try to structure the work done in: { \Seven Myths of Formal Methods" [Hal90] { \Seven More…
  • Add To MetaCart
  • Editorial  
  • by Bernd Krieg-Brückner — 1998
  • …. In their paper Seven More Myths of Formal Methods: Dispelling Industrial Prejudices, Bowen and Hinchey [BH 94…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB