@dblp

Proving Behavioural Theorems with Standard First-Order Logic.

, and . ALP, volume 850 of Lecture Notes in Computer Science, page 41-58. Springer, (1994)

Links and resources

Tags

community

  • @dblp
  • @leonardo
@dblp's tags highlighted