@jpbowen

The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.

, and . FME, volume 670 of Lecture Notes in Computer Science, page 183-195. Springer, (1993)

Description

dblp

Links and resources

Tags

community

  • @jpbowen
  • @dblp
@jpbowen's tags highlighted