Inproceedings,

Disappearing formal methods.

.
HASE, page 95-96. IEEE Computer Society, (2000)

Meta data

Tags

Users

  • @dblp
  • @leonardo

Comments and Reviews