Article,

Specifications are necessarily informal or: Some more myths of formal methods.

, and .
J. Syst. Softw., 40 (3): 275-296 (1998)

Meta data

Tags

Users

  • @neilernst
  • @emanuel
  • @dblp

Comments and Reviews