@zuendorf

Specification of Logical Documents and Tools.

, and . IPSEN Book, volume 1170 of Lecture Notes in Computer Science, page 297-323. Springer, (1996)

Description

dblp

Links and resources

Tags

community

  • @se
  • @dblp
  • @zuendorf
@zuendorf's tags highlighted